Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is round. Erin is smart. If someone is smart and not nice then they are round. All smart, big people are round. Nice, blue people are round. All cold people are round. If someone is round and not cold then they are not smart. If someone is big and not blue then they are not smart. If someone is round and not blue then they are big. If Erin is cold then Erin is round.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is smart and not nice then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "round" "+"))
All smart, big people are round.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Nice, blue people are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not cold then they are not smart.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "smart" "-"))
If someone is big and not blue then they are not smart.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "smart" "-"))
If someone is round and not blue then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
If Erin is cold then Erin is round.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "round" "+"))
Erin is smart.
True
1
proof
[(triple7)]
("Erin" "is" "smart" "+")
triple7
Erin is not nice.
False
1
inv-proof
[(triple5)]
("Erin" "is" "nice" "-")
triple5
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6 OR ((triple3) -> rule4) OR ((triple3) -> rule8) OR ((triple5 triple2) -> rule3) OR ((triple7 triple1) -> rule2))] Erin is smart.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple5 triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple7 triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple7