Anne is furry. Anne is kind. Anne is quiet. Anne is young. Erin is blue. Erin is red. Erin is rough. Gary is furry. Gary is red. Gary is rough. Blue things are red. All red things are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple6 OR ((triple5) -> rule1))]
("Erin" "is" "red" "-")
triple6
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
True
2
proof
[(((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]
("Erin" "is" "young" "+")
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Gary is not young.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "young" "-")
((triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is red.[(triple6 OR ((triple5) -> rule1))] Erin is rough.[(triple7)] Gary is furry.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Erin is young.[(((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Gary is young.[(((triple9) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1