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