Erin is big. Erin is blue. Erin is furry. All round things are big. If Erin is young and Erin is furry then Erin is blue. If Erin is blue and Erin is furry then Erin is rough. If Erin is big then Erin is round. If Erin is rough and Erin is young then Erin is blue. Nice, big things are round. Nice, rough things are blue. If Erin is furry then Erin is blue.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Erin is young and Erin is furry then Erin is blue.
((("Erin" "is" "young" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
If Erin is blue and Erin is furry then Erin is rough.
((("Erin" "is" "blue" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "rough" "+"))
If Erin is big then Erin is round.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "round" "+"))
If Erin is rough and Erin is young then Erin is blue.
((("Erin" "is" "rough" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "blue" "+"))
Nice, big things are round.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Nice, rough things are blue.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If Erin is furry then Erin is blue.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
Erin is blue.
True
1
proof
[(triple2 OR ((triple3) -> rule8))]
("Erin" "is" "blue" "+")
triple2
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule8))]
("Erin" "is" "blue" "-")
triple2
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
True
3
proof
[(((triple2 triple3) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule3))]
("Erin" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule4))]
("Erin" "is" "round" "-")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple3) -> rule8))] Erin is furry.[(triple3)] @1: Erin is rough.[(((triple2 triple3) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule3))] Erin is round.[(((triple1) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1