Fiona is not big. Fiona is furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is not red. Fiona is white. Red things are big.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Fiona is not quiet.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "quiet" "-")
triple5
@0: Fiona is furry.[(triple2)] Fiona is nice.[(triple4)] Fiona is not big.[(triple1)] Fiona is not green.[(triple3)] Fiona is not red.[(triple6)] Fiona is quiet.[(triple5)] Fiona is white.[(triple7)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple7