Bob is kind. Gary is quiet. Harry is red. If someone is blue and round then they are kind. If Harry is cold and Harry is kind then Harry is quiet. If someone is blue and big then they are round. All quiet people are cold. If someone is cold and big then they are kind. If Bob is red then Bob is blue. If Harry is quiet and Harry is cold then Harry is blue. If someone is quiet and big then they are kind.
Bob is kind.
("Bob" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is blue and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If Harry is cold and Harry is kind then Harry is quiet.
((("Harry" "is" "cold" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "quiet" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Bob is red then Bob is blue.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "blue" "+"))
If Harry is quiet and Harry is cold then Harry is blue.
((("Harry" "is" "quiet" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "blue" "+"))
If someone is quiet and big then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple2)]
("Gary" "is" "quiet" "-")
triple2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is kind.[(triple1)] Gary is quiet.[(triple2)] Harry is red.[(triple3)] @1: Gary is cold.[(((triple2) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1