The bald eagle is blue. The cat chases the squirrel. The cat is rough. The cat is young. The cat sees the mouse. The cat sees the squirrel. The mouse chases the squirrel. The mouse is kind. The mouse sees the bald eagle. The squirrel chases the cat. The squirrel is young. If something needs the cat then it chases the squirrel. If something sees the cat then it needs the cat. If something sees the bald eagle and it chases the mouse then it chases the cat. If something sees the squirrel then it needs the squirrel. If something needs the squirrel and it needs the cat then the squirrel sees the cat. If something chases the squirrel then the squirrel is young. If the squirrel chases the bald eagle and the bald eagle chases the cat then the cat is rough. If something sees the mouse then it sees the cat. If the mouse needs the bald eagle then the mouse sees the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something needs the cat then it chases the squirrel.
((("something" "needs" "cat" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the cat then it needs the cat.
((("something" "sees" "cat" "+")) -> ("something" "needs" "cat" "+"))
If something sees the bald eagle and it chases the mouse then it chases the cat.
((("something" "sees" "bald eagle" "+") ("something" "chases" "mouse" "+")) -> ("something" "chases" "cat" "+"))
If something sees the squirrel then it needs the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
If something needs the squirrel and it needs the cat then the squirrel sees the cat.
((("something" "needs" "squirrel" "+") ("something" "needs" "cat" "+")) -> ("squirrel" "sees" "cat" "+"))
If something chases the squirrel then the squirrel is young.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If the squirrel chases the bald eagle and the bald eagle chases the cat then the cat is rough.
((("squirrel" "chases" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something sees the mouse then it sees the cat.
((("something" "sees" "mouse" "+")) -> ("something" "sees" "cat" "+"))
If the mouse needs the bald eagle then the mouse sees the bald eagle.
((("mouse" "needs" "bald eagle" "+")) -> ("mouse" "sees" "bald eagle" "+"))
The squirrel chases the cat.
True
1
proof
[(triple10)]
("squirrel" "chases" "cat" "+")
triple10
The cat is not rough.
False
1
inv-proof
[(triple3)]
("cat" "is" "rough" "-")
triple3
The cat needs the squirrel.
True
2
proof
[(((triple6) -> rule4))]
("cat" "needs" "squirrel" "+")
((triple6) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat does not need the squirrel.
False
2
inv-proof
[(((triple6) -> rule4))]
("cat" "needs" "squirrel" "-")
((triple6) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat needs the cat.
True
3
proof
[(((((triple5) -> rule8)) -> rule2))]
("cat" "needs" "cat" "+")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat does not need the cat.
False
3
inv-proof
[(((((triple5) -> rule8)) -> rule2))]
("cat" "needs" "cat" "-")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The squirrel sees the cat.
True
6
proof
[(((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5))]
("squirrel" "sees" "cat" "+")
((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int4
The squirrel does not see the cat.
False
6
inv-proof
[(((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5))]
("squirrel" "sees" "cat" "-")
((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int4
The squirrel needs the cat.
True
7
proof
[(((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2))]
("squirrel" "needs" "cat" "+")
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int5
The squirrel does not need the cat.
False
7
inv-proof
[(((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2))]
("squirrel" "needs" "cat" "-")
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int5
The squirrel chases the squirrel.
True
8
proof
[(((((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((((((((triple6) -> (rule4 % int6)) ((((triple5) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The cat needs the cat.
("cat" "needs" "cat" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int6
The squirrel does not chase the squirrel.
False
8
inv-proof
[(((((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((((((((triple6) -> (rule4 % int6)) ((((triple5) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The cat needs the cat.
("cat" "needs" "cat" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int6
The mouse does not need the cat.
Unknown
inv-rconc
[@2: The mouse needs the cat.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("mouse" "needs" "cat" "-")
The mouse chases the cat.
Unknown
rconc
[@1: The mouse chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "cat" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@3: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule8 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle chases the cat.
Unknown
rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "cat" "+")
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse needs the squirrel.
Unknown
rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "squirrel" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle is blue.[(triple1)] The cat chases the squirrel.[(triple2 OR ((((((triple5) -> rule8)) -> rule2)) -> rule1))] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat sees the mouse.[(triple5)] The cat sees the squirrel.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is kind.[(triple8)] The mouse sees the bald eagle.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel is young.[(triple11 OR ((triple2) -> rule6) OR ((triple7) -> rule6) OR ((((((((triple5) -> rule8)) -> rule2)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2)) -> rule1)) -> rule6))] @1: The cat needs the squirrel.[(((triple6) -> rule4))] The cat sees the cat.[(((triple5) -> rule8))] @2: The cat needs the cat.[(((((triple5) -> rule8)) -> rule2))] @3: The squirrel sees the cat.[(((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5))] @4: The squirrel needs the cat.[(((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2))] @5: The squirrel chases the squirrel.[(((((((((triple6) -> rule4) ((((triple5) -> rule8)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
((((((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple7) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((((((triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
((((((((((triple6) -> (rule4 % int7)) ((((triple5) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int4
The cat needs the cat.
("cat" "needs" "cat" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
int6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int7
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
((triple6) -> (rule4 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple5) -> (rule8 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int4
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int5
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((((((triple6) -> (rule4 % int6)) ((((triple5) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The cat needs the cat.
("cat" "needs" "cat" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int6