Erin is big. Erin is furry. Erin is red. Erin is rough. Erin is white. Fiona is nice. Fiona is red. Smart things are red.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Erin is not white.
False
1
inv-proof
[(triple5)]
("Erin" "is" "white" "-")
triple5
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7