Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is round. Erin is white. Cold, white things are furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Cold, white things are furry.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2 triple7) -> rule1))] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple2 triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7