Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is white. Bob is green. Bob is quiet. Bob is red. Bob is white. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If Anne is red and Anne is smart then Anne is green. All nice, rough things are red. If something is white and red then it is green.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Anne is red and Anne is smart then Anne is green.
((("Anne" "is" "red" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "green" "+"))
All nice, rough things are red.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is white and red then it is green.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Anne is smart.
True
1
proof
[(triple5)]
("Anne" "is" "smart" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple15)]
("Gary" "is" "white" "-")
triple15
Gary is red.
True
3
proof
[(((triple11 triple13) -> rule2))]
("Gary" "is" "red" "+")
((triple11 triple13) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple11 triple13) -> rule2))]
("Gary" "is" "red" "-")
((triple11 triple13) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
True
5
proof
[(((triple15 ((triple11 triple13) -> rule2)) -> rule3))]
("Gary" "is" "green" "+")
((triple15 ((triple11 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not green.
False
5
inv-proof
[(((triple15 ((triple11 triple13) -> rule2)) -> rule3))]
("Gary" "is" "green" "-")
((triple15 ((triple11 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is green.[(triple1 OR ((triple3 triple5) -> rule1) OR ((triple6 triple3) -> rule3) OR ((triple6 ((triple2 triple4) -> rule2)) -> rule3) OR ((((triple2 triple4) -> rule2) triple5) -> rule1))] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple2 triple4) -> rule2))] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Bob is green.[(triple7 OR ((triple10 triple9) -> rule3))] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is white.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is red.[(((triple11 triple13) -> rule2))] @2: Gary is green.[(((triple15 ((triple11 triple13) -> rule2)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple3 triple5) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple6 triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple6 ((triple2 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple2 triple4) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple10 triple9) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is white.
("Bob" "is" "white" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple13) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple15 ((triple11 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2