Erin is not big. Erin is not green. Erin is nice. Erin is red. Erin is rough. Erin is not round. Erin is white. If someone is white and rough then they are nice. Red, rough people are nice. If someone is round and not white then they are nice. If someone is round then they are red. If someone is rough and not white then they are big. All round, white people are green. If Erin is not green then Erin is not big. If Erin is white and Erin is green then Erin is big.
Erin is not big.
("Erin" "is" "big" "-")
Erin is not green.
("Erin" "is" "green" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
If someone is white and rough then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Red, rough people are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and not white then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "nice" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and not white then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "big" "+"))
All round, white people are green.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Erin is not green then Erin is not big.
((("Erin" "is" "green" "~")) -> ("Erin" "is" "big" "-"))
If Erin is white and Erin is green then Erin is big.
((("Erin" "is" "white" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "big" "+"))
Erin is not round.
True
1
proof
[(triple6)]
("Erin" "is" "round" "-")
triple6
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
@0: Erin is nice.[(triple3 OR ((triple4 triple5) -> rule2) OR ((triple7 triple5) -> rule1))] Erin is not big.[(triple1 OR ((triple2) -> rule7))] Erin is not green.[(triple2)] Erin is not round.[(triple6)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple7)]
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((triple4 triple5) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple7 triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not big.
("Erin" "is" "big" "-")
triple1
((triple2) -> (rule7 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is not green.
("Erin" "is" "green" "-")
triple2
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple7