Erin is not big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is smart. Green things are quiet. If something is nice and not quiet then it is not big.
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is nice and not quiet then it is not big.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "big" "-"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Erin is big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "+")
triple1
@0: Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not big.[(triple1)] Erin is quiet.[(triple6 OR ((triple4) -> rule1))] Erin is smart.[(triple7)]
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple7