Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is round. Erin is green. Gary is green. Gary is not red. Gary is round. Harry is blue. Kind people are not big.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Kind people are not big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple6)]
("Erin" "is" "green" "-")
triple6
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Erin is green.[(triple6)] Gary is green.[(triple7)] Gary is not red.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] @1: Anne is not big.[(((triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Anne is not big.
("Anne" "is" "big" "-")
((triple3) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1