Charlie is round. Fiona is big. Fiona is kind. Fiona is rough. Gary is blue. Gary is round. Harry is blue. If Fiona is red and Fiona is round then Fiona is rough.
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Fiona is red and Fiona is round then Fiona is rough.
((("Fiona" "is" "red" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is round.[(triple1)] Fiona is big.[(triple2)] Fiona is kind.[(triple3)] Fiona is rough.[(triple4)] Gary is blue.[(triple5)] Gary is round.[(triple6)] Harry is blue.[(triple7)]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7