Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. If something is nice and not furry then it is not young. If Fiona is nice and Fiona is not furry then Fiona is red. All furry things are nice. All young, big things are red. If Fiona is young and Fiona is not big then Fiona is not nice. If Fiona is not smart then Fiona is not young.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is nice and not furry then it is not young.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "-"))
If Fiona is nice and Fiona is not furry then Fiona is red.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "red" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All young, big things are red.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If Fiona is young and Fiona is not big then Fiona is not nice.
((("Fiona" "is" "young" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "nice" "-"))
If Fiona is not smart then Fiona is not young.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "young" "-"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule3))] Fiona is red.[(triple5 OR ((triple7 triple1) -> rule4))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple7 triple1) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7