Erin is big. Erin is not furry. Erin is green. Erin is quiet. Erin is not rough. Erin is white. Erin is young. Young, rough people are furry. Rough people are furry. If someone is furry and not green then they are not quiet. If someone is rough then they are not quiet. Furry, white people are young. All big people are white. If Erin is green then Erin is young. All rough, green people are big.
Erin is big.
("Erin" "is" "big" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Young, rough people are furry.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and not green then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "quiet" "-"))
If someone is rough then they are not quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "-"))
Furry, white people are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If Erin is green then Erin is young.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "young" "+"))
All rough, green people are big.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple6 OR ((triple1) -> rule6))]
("Erin" "is" "white" "+")
triple6
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
1
inv-proof
[(triple6 OR ((triple1) -> rule6))]
("Erin" "is" "white" "-")
triple6
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
@0: Erin is big.[(triple1)] Erin is green.[(triple3)] Erin is not furry.[(triple2)] Erin is not rough.[(triple5)] Erin is quiet.[(triple4)] Erin is white.[(triple6 OR ((triple1) -> rule6))] Erin is young.[(triple7 OR ((triple3) -> rule7))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is not rough.
("Erin" "is" "rough" "-")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple1) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1