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