Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. All round, kind things are quiet. Red, kind things are smart. All red things are furry.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All round, kind things are quiet.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Red, kind things are smart.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Erin is round.
True
1
proof
[(triple6)]
("Erin" "is" "round" "+")
triple6
Erin is not smart.
False
1
inv-proof
[(triple7 OR ((triple5 triple3) -> rule2))]
("Erin" "is" "smart" "-")
triple7
((triple5 triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple5) -> rule3))] Erin is kind.[(triple3)] Erin is quiet.[(triple4 OR ((triple6 triple3) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple5 triple3) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple6 triple3) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((triple5 triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1