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