Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. All kind, cold things are 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 kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All kind, cold things are big.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
@0: Fiona is big.[(triple1 OR ((triple5 triple2) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple5 triple2) -> (rule1 % 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 kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7