Anne is furry. Charlie is furry. Gary is nice. If Anne is nice then Anne is furry. If someone is quiet then they are smart. Furry people are smart. If Gary is green then Gary is smart. All nice, green people are smart. If someone is blue and nice then they are green. If someone is quiet then they are furry. If Charlie is green and Charlie is furry then Charlie is nice.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Anne is nice then Anne is furry.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "furry" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Gary is green then Gary is smart.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "smart" "+"))
All nice, green people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue and nice then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is green and Charlie is furry then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "nice" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple3)]
("Gary" "is" "nice" "-")
triple3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Gary is nice.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Charlie is smart.[(((triple2) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1