Anne is big. Anne is furry. Anne is smart. Charlie is furry. Dave is big. Dave is blue. Dave is quiet. Green people are smart. If someone is furry and nice then they are smart. If someone is nice then they are furry. If someone is blue and green then they are furry. If Dave is nice then Dave is not big. If someone is blue and not furry then they are quiet. If someone is quiet and not green then they are big. If Charlie is quiet and Charlie is not blue then Charlie is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry and nice then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue and green then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Dave is nice then Dave is not big.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "big" "-"))
If someone is blue and not furry then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and not green then they are big.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
If Charlie is quiet and Charlie is not blue then Charlie is smart.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "blue" "~")) -> ("Charlie" "is" "smart" "+"))
Dave is quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "+")
triple7
Dave is not blue.
False
1
inv-proof
[(triple6)]
("Dave" "is" "blue" "-")
triple6
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is quiet.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7