Fiona is cold. Fiona is nice. Fiona is not quiet. If Fiona is furry then Fiona is blue. Blue, round people are quiet. Nice, cold people are round. If Fiona is cold then Fiona is big. If someone is round then they are not furry. If someone is furry and not blue then they are big.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
If Fiona is furry then Fiona is blue.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "blue" "+"))
Blue, round people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Nice, cold people are round.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Fiona is cold then Fiona is big.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
If someone is round then they are not furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
If someone is furry and not blue then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
Fiona is not quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Fiona is quiet.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is not quiet.[(triple3)] @1: Fiona is big.[(((triple1) -> rule4))] Fiona is round.[(((triple2 triple1) -> rule3))] @2: Fiona is not furry.[(((((triple2 triple1) -> rule3)) -> rule5))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple2 triple1) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2