Erin is blue. Erin is green. Erin is young. Blue things are young. Blue things are young. If something is furry and quiet then it is young. White things are not young. If something is young then it is blue. If something is blue then it is furry. If something is kind and green then it is not furry. If Erin is quiet then Erin is not white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is furry and quiet then it is young.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
White things are not young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "-"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is kind and green then it is not furry.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If Erin is quiet then Erin is not white.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "white" "-"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule2))]
("Erin" "is" "young" "-")
triple3
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
True
2
proof
[(((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))]
("Erin" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))]
("Erin" "is" "furry" "-")
((triple1) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is blue.[(triple1 OR ((triple3) -> rule5))] Erin is green.[(triple2)] Erin is young.[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule2))] @1: Erin is furry.[(((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple3) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2