Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. Fiona is white. All big things are furry. If something is smart and cold then it is white. Green, smart things are furry.
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 nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is smart and cold then it is white.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Green, smart things are furry.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "-")
triple5
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3 OR ((triple1) -> rule1) OR ((triple4 triple6) -> rule3))] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple6 triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple6 triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1