Anne is big. Anne is blue. Anne is quiet. Anne is smart. Bob is blue. Bob is furry. Bob is round. If Bob is furry then Bob is smart. If Anne is smart and Anne is young then Anne is big. Smart, blue people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
If Bob is furry then Bob is smart.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "smart" "+"))
If Anne is smart and Anne is young then Anne is big.
((("Anne" "is" "smart" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "big" "+"))
Smart, blue people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Bob is blue.
True
1
proof
[(triple5)]
("Bob" "is" "blue" "+")
triple5
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is furry.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Anne" "is" "furry" "+")
((triple4 triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple6) -> rule1))]
("Bob" "is" "smart" "-")
((triple6) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is round.[(triple7)] @1: Anne is furry.[(((triple4 triple2) -> rule3))] Bob is smart.[(((triple6) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple4 triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1