Fiona is not cold. Fiona is furry. Fiona is not green. Fiona is not red. Fiona is rough. Fiona is round. Fiona is white. Red things are green. If something is round then it is not green.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is round then it is not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
False
1
inv-proof
[(triple3 OR ((triple6) -> rule2))]
("Fiona" "is" "green" "+")
triple3
((triple6) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
@0: Fiona is furry.[(triple2)] Fiona is not cold.[(triple1)] Fiona is not green.[(triple3 OR ((triple6) -> rule2))] Fiona is not red.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
((triple6) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7