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