Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is not white. If something is white and red then it is furry. If Fiona is not red then Fiona is not white. If Fiona is not furry then Fiona is not kind.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If something is white and red then it is furry.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If Fiona is not red then Fiona is not white.
((("Fiona" "is" "red" "~")) -> ("Fiona" "is" "white" "-"))
If Fiona is not furry then Fiona is not kind.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "kind" "-"))
Fiona is nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Fiona is white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is not white.[(triple7)] Fiona is red.[(triple6)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple5
Fiona is not white.
("Fiona" "is" "white" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple6