Fiona is not big. Fiona is not blue. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is not round. If something is quiet then it is blue. If something is big then it is nice. If something is big and nice then it is not quiet. If something is quiet and not blue then it is round. All round, big things are rough. All quiet, blue things are red. If something is quiet and rough then it is red. If Fiona is blue and Fiona is not quiet then Fiona is not red.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is big and nice then it is not quiet.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "-"))
If something is quiet and not blue then it is round.
((("something" "is" "quiet" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
All round, big things are rough.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All quiet, blue things are red.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is quiet and rough then it is red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Fiona is blue and Fiona is not quiet then Fiona is not red.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "red" "-"))
Fiona is not round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
@0: Fiona is nice.[(triple3)] Fiona is not big.[(triple1)] Fiona is not blue.[(triple2)] Fiona is not quiet.[(triple4)] Fiona is not round.[(triple7)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is not round.
("Fiona" "is" "round" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6