Anne is blue. Anne is green. Anne is rough. Anne is young. Bob is not furry. Bob is green. Bob is quiet. Bob is rough. Bob is not round. Bob is young. Gary is blue. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is young. Green, quiet things are not blue. If Gary is quiet then Gary is rough. Blue things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Green, quiet things are not blue.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "-"))
If Gary is quiet then Gary is rough.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "rough" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple14)]
("Gary" "is" "rough" "-")
triple14
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule3))] Bob is green.[(triple6)] Bob is not furry.[(triple5)] Bob is not round.[(triple9)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is young.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple11) -> rule3))] @1: Bob is not blue.[(((triple6 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is not furry.
("Bob" "is" "furry" "-")
triple5
Bob is not round.
("Bob" "is" "round" "-")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple11) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
((triple6 triple7) -> (rule1 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1