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