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