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