Bob is furry. Bob is kind. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Gary is furry. Gary is quiet. Gary is rough. Harry is quiet. Harry is red. If Harry is red and Harry is kind then Harry is quiet. All red, rough things are blue. All green things are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If Harry is red and Harry is kind then Harry is quiet.
((("Harry" "is" "red" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "quiet" "+"))
All red, rough things are blue.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Gary is quiet.
True
1
proof
[(triple9)]
("Gary" "is" "quiet" "+")
triple9
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Erin is furry.
True
2
proof
[(((triple4) -> rule3))]
("Erin" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple4) -> rule3))]
("Erin" "is" "furry" "-")
((triple4) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Erin is blue.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] @1: Erin is furry.[(((triple4) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1