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