Dave is big. Dave is not green. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Fiona is not big. Fiona is green. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is not round. Fiona is smart. If something is round and not big then it is red.
Dave is big.
("Dave" "is" "big" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is round and not big then it is red.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
Fiona is nice.
True
1
proof
[(triple10)]
("Fiona" "is" "nice" "+")
triple10
Fiona is not nice.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "nice" "-")
triple10
@0: Dave is big.[(triple1)] Dave is nice.[(triple3)] Dave is not green.[(triple2)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is not big.[(triple8)] Fiona is not red.[(triple11)] Fiona is not round.[(triple13)] Fiona is rough.[(triple12)] Fiona is smart.[(triple14)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple11
Fiona is not round.
("Fiona" "is" "round" "-")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14