The bald eagle likes the squirrel. The cat chases the squirrel. The cat is young. The squirrel chases the bald eagle. The squirrel is rough. The squirrel is young. The squirrel likes the bald eagle. If someone is red then they chase the bald eagle. If someone chases the squirrel and they are rough then the squirrel visits the bald eagle. If someone likes the cat then the cat likes the squirrel. If the squirrel visits the bald eagle then the squirrel visits the cat. If the cat is red then the cat chases the bald eagle. All young people are rough. If someone is young then they like the bald eagle. If someone visits the cat and they visit the bald eagle then they are red.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is young.
("cat" "is" "young" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If someone is red then they chase the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the squirrel and they are rough then the squirrel visits the bald eagle.
((("someone" "chases" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone likes the cat then the cat likes the squirrel.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If the squirrel visits the bald eagle then the squirrel visits the cat.
((("squirrel" "visits" "bald eagle" "+")) -> ("squirrel" "visits" "cat" "+"))
If the cat is red then the cat chases the bald eagle.
((("cat" "is" "red" "+")) -> ("cat" "chases" "bald eagle" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they like the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the cat and they visit the bald eagle then they are red.
((("someone" "visits" "cat" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
The squirrel is young.
True
1
proof
[(triple6)]
("squirrel" "is" "young" "+")
triple6
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "squirrel" "-")
triple1
The cat likes the bald eagle.
True
2
proof
[(((triple3) -> rule7))]
("cat" "likes" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple3) -> rule6))]
("cat" "is" "rough" "-")
((triple3) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "red" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is young.[(triple3)] The squirrel chases the bald eagle.[(triple4 OR ((((((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule2)) -> rule8)) -> rule1))] The squirrel is rough.[(triple5 OR ((triple6) -> rule6))] The squirrel is young.[(triple6)] The squirrel likes the bald eagle.[(triple7 OR ((triple6) -> rule7))] @1: The cat is rough.[(((triple3) -> rule6))] The cat likes the bald eagle.[(((triple3) -> rule7))] @2: The squirrel visits the bald eagle.[(((triple2 ((triple3) -> rule6)) -> rule2))] @3: The squirrel visits the cat.[(((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4))] @4: The squirrel is red.[(((((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule2)) -> rule8))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
((((((((triple2 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple2 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The cat is rough.
("cat" "is" "rough" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
((triple6) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple7
((triple6) -> (rule7 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple3) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple2 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
((((triple2 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple2 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4