Erin is big. Erin is not nice. Erin is not quiet. Erin is red. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is round. If Gary is not red then Gary is big.
Erin is big.
("Erin" "is" "big" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is not red then Gary is big.
((("Gary" "is" "red" "~")) -> ("Gary" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple12)]
("Gary" "is" "round" "+")
triple12
Erin is quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Erin is big.[(triple1)] Erin is not nice.[(triple2)] Erin is not quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12