Erin is furry. Erin is not quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is not round. Gary is white. Gary is young. If Gary is red then Gary is furry. If someone is young and rough then they are furry. If Erin is red and Erin is not young then Erin is furry. If Gary is quiet then Gary is young. All white, quiet people are red. If someone is red and not young then they are not round.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is red then Gary is furry.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "furry" "+"))
If someone is young and rough then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If Erin is red and Erin is not young then Erin is furry.
((("Erin" "is" "red" "+") ("Erin" "is" "young" "~")) -> ("Erin" "is" "furry" "+"))
If Gary is quiet then Gary is young.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
All white, quiet people are red.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is red and not young then they are not round.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "round" "-"))
Erin is white.
True
1
proof
[(triple6)]
("Erin" "is" "white" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple14 OR ((triple9) -> rule4))]
("Gary" "is" "young" "-")
triple14
((triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
@0: Erin is furry.[(triple1 OR ((triple7 triple4) -> rule2))] Erin is not quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule1) OR ((triple14 triple11) -> rule2) OR ((((triple13 triple9) -> rule5)) -> rule1) OR ((((triple9) -> rule4) triple11) -> rule2))] Gary is not round.[(triple12)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple13 triple9) -> rule5))] Gary is rough.[(triple11)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple9) -> rule4))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
((triple7 triple4) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple10) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple14 triple11) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple13 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9) -> (rule4 % int2)) triple11) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not round.
("Gary" "is" "round" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple13 triple9) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14
((triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1