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