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