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