Erin is blue. Erin is smart. Erin is white. If something is blue then it is smart. All rough things are white. If something is white then it is blue. If Erin is blue then Erin is rough. If something is white and young then it is smart. If something is white and blue then it is green. Blue things are white. If something is young then it is white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If Erin is blue then Erin is rough.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "rough" "+"))
If something is white and young then it is smart.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is white and blue then it is green.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is young then it is white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple3 OR ((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule2))]
("Erin" "is" "white" "+")
triple3
((triple1) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not white.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule2))]
("Erin" "is" "white" "-")
triple3
((triple1) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is blue.[(triple1 OR ((triple3) -> rule3))] Erin is smart.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Erin is white.[(triple3 OR ((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule2))] @1: Erin is green.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule3)) -> rule6) OR ((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) OR ((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule3)) -> rule6))] Erin is rough.[(((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple3
((triple1) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple3 triple1) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple3 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2