Anne is blue. Anne is quiet. Anne is red. Anne is smart. Erin is green. Erin is smart. Erin is not young. If someone is smart then they are blue. Green, blue people are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Green, blue people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Erin is smart.
True
1
proof
[(triple6)]
("Erin" "is" "smart" "+")
triple6
Anne is not blue.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule1))]
("Anne" "is" "blue" "-")
triple1
((triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is blue.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "blue" "-")
((triple6) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
True
4
proof
[(((triple5 ((triple6) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "+")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not quiet.
False
4
inv-proof
[(((triple5 ((triple6) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "-")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Erin is green.[(triple5)] Erin is not young.[(triple7)] Erin is smart.[(triple6)] @1: Erin is blue.[(((triple6) -> rule1))] @2: Erin is quiet.[(((triple5 ((triple6) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2