Anne is not blue. Bob is blue. Bob is young. Charlie is furry. Charlie is quiet. Charlie is not round. Charlie is smart. All blue, quiet people are not round. If Bob is not quiet then Bob is nice. If Charlie is young then Charlie is quiet. If Anne is furry and Anne is young then Anne is smart. If someone is smart then they are not young. If Charlie is young and Charlie is not round then Charlie is not nice.
Anne is not blue.
("Anne" "is" "blue" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
All blue, quiet people are not round.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "-"))
If Bob is not quiet then Bob is nice.
((("Bob" "is" "quiet" "~")) -> ("Bob" "is" "nice" "+"))
If Charlie is young then Charlie is quiet.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "quiet" "+"))
If Anne is furry and Anne is young then Anne is smart.
((("Anne" "is" "furry" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "smart" "+"))
If someone is smart then they are not young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "-"))
If Charlie is young and Charlie is not round then Charlie is not nice.
((("Charlie" "is" "young" "+") ("Charlie" "is" "round" "~")) -> ("Charlie" "is" "nice" "-"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is not blue.[(triple1)] Bob is blue.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is not round.[(triple6)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple7)] @1: Charlie is not young.[(((triple7) -> rule5))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is not round.
("Charlie" "is" "round" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is not young.
("Charlie" "is" "young" "-")
((triple7) -> (rule5 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1