Fiona is big. Harry is rough. If Harry is big then Harry is not red.
Fiona is big.
("Fiona" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is big then Harry is not red.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "red" "-"))
Harry is rough.
True
1
proof
[(triple2)]
("Harry" "is" "rough" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is big.[(triple1)] Harry is rough.[(triple2)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Harry is rough.
("Harry" "is" "rough" "+")
triple2