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