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