Anne is big. Anne is round. Anne is smart. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is white. Gary is big. Gary is green. Gary is nice. Gary is round. Gary is smart. Gary is white. Quiet people are green. Round, big people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Round, big people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Bob is smart.
True
1
proof
[(triple8)]
("Bob" "is" "smart" "+")
triple8
Bob is not green.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule1))]
("Bob" "is" "green" "-")
triple4
((triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Anne is quiet.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "quiet" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple13 triple10) -> rule2))]
("Gary" "is" "quiet" "-")
((triple13 triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Anne is green.
True
4
proof
[(((((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "green" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not green.
False
4
inv-proof
[(((((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "green" "-")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is green.[(triple4 OR ((triple6) -> rule1))] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11 OR ((((triple13 triple10) -> rule2)) -> rule1))] Gary is nice.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Anne is quiet.[(((triple2 triple1) -> rule2))] Gary is quiet.[(((triple13 triple10) -> rule2))] @2: Anne is green.[(((((triple2 triple1) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
((((triple13 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple13 triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2