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