Anne is red. Anne is white. Anne is young. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. If something is green and red then it is young. Round, blue things are white.
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is green and red then it is young.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Round, blue things are white.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple9 OR ((triple8 triple4) -> rule2))]
("Erin" "is" "white" "+")
triple9
((triple8 triple4) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not red.
False
1
inv-proof
[(triple7)]
("Erin" "is" "red" "-")
triple7
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple8 triple4) -> rule2))] Erin is young.[(triple10 OR ((triple5 triple7) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple8 triple4) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple5 triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1