The bald eagle chases the squirrel. The bald eagle likes the tiger. The bald eagle visits the tiger. The cow chases the bald eagle. The cow is big. The cow likes the bald eagle. The cow likes the squirrel. The cow visits the bald eagle. The squirrel chases the bald eagle. The squirrel is green. The squirrel likes the tiger. The tiger is blue. If the cow visits the squirrel then the cow chases the tiger. If something likes the squirrel and it chases the bald eagle then the squirrel likes the cow. If something likes the bald eagle and the bald eagle likes the tiger then the tiger is kind. If something chases the cow and the cow visits the bald eagle then the cow is green. If something likes the cow then it chases the tiger. If something is green and it chases the tiger then it chases the cow. If the cow chases the tiger then the tiger is green. If something is green then it chases the squirrel. If something chases the tiger and it visits the tiger then the tiger likes the cow.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If the cow visits the squirrel then the cow chases the tiger.
((("cow" "visits" "squirrel" "+")) -> ("cow" "chases" "tiger" "+"))
If something likes the squirrel and it chases the bald eagle then the squirrel likes the cow.
((("something" "likes" "squirrel" "+") ("something" "chases" "bald eagle" "+")) -> ("squirrel" "likes" "cow" "+"))
If something likes the bald eagle and the bald eagle likes the tiger then the tiger is kind.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something chases the cow and the cow visits the bald eagle then the cow is green.
((("something" "chases" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("cow" "is" "green" "+"))
If something likes the cow then it chases the tiger.
((("something" "likes" "cow" "+")) -> ("something" "chases" "tiger" "+"))
If something is green and it chases the tiger then it chases the cow.
((("something" "is" "green" "+") ("something" "chases" "tiger" "+")) -> ("something" "chases" "cow" "+"))
If the cow chases the tiger then the tiger is green.
((("cow" "chases" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If something is green then it chases the squirrel.
((("something" "is" "green" "+")) -> ("something" "chases" "squirrel" "+"))
If something chases the tiger and it visits the tiger then the tiger likes the cow.
((("something" "chases" "tiger" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
The tiger is blue.
True
1
proof
[(triple12)]
("tiger" "is" "blue" "+")
triple12
The cow does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("cow" "likes" "bald eagle" "-")
triple6
The squirrel chases the squirrel.
True
2
proof
[(((triple10) -> rule8))]
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not like the cow.
False
3
inv-proof
[(((triple7 triple4) -> rule2))]
("squirrel" "likes" "cow" "-")
((triple7 triple4) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel chases the tiger.
True
4
proof
[(((((triple7 triple4) -> rule2)) -> rule5))]
("squirrel" "chases" "tiger" "+")
((((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel does not chase the tiger.
False
4
inv-proof
[(((((triple7 triple4) -> rule2)) -> rule5))]
("squirrel" "chases" "tiger" "-")
((((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel chases the cow.
True
6
proof
[(((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6))]
("squirrel" "chases" "cow" "+")
((triple10 ((((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel does not chase the cow.
False
6
inv-proof
[(((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6))]
("squirrel" "chases" "cow" "-")
((triple10 ((((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow is green.
True
8
proof
[(((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4))]
("cow" "is" "green" "+")
((((triple10 ((((triple7 triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow is not green.
False
8
inv-proof
[(((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4))]
("cow" "is" "green" "-")
((((triple10 ((((triple7 triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow chases the squirrel.
True
9
proof
[(((((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4)) -> rule8))]
("cow" "chases" "squirrel" "+")
((((((triple10 ((((triple7 triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The cow does not chase the squirrel.
False
9
inv-proof
[(((((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4)) -> rule8))]
("cow" "chases" "squirrel" "-")
((((((triple10 ((((triple7 triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The tiger does not chase the tiger.
Unknown
inv-rconc
[@2: The tiger chases the tiger.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle chases the tiger.
Unknown
rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "tiger" "+")
The tiger does not chase the cow.
Unknown
inv-rconc
[@3: The tiger chases the cow.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule1 <- FAIL)]]
("tiger" "chases" "cow" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The tiger is not green.
Unknown
inv-rconc
[@2: The tiger is green.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger likes the cow.
Unknown
rconc
[@2: The tiger likes the cow.[CWA. Example of deepest failure = (rule9 <- rule5 <- FAIL)]]
("tiger" "likes" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The tiger visits the cow.
Unknown
random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "+")
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 squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow is big.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow likes the squirrel.[(triple7)] The cow visits the bald eagle.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the tiger.[(triple11)] The tiger is blue.[(triple12)] @1: The squirrel chases the squirrel.[(((triple10) -> rule8))] The squirrel likes the cow.[(((triple7 triple4) -> rule2))] The tiger is kind.[(((triple6 triple2) -> rule3))] @2: The squirrel chases the tiger.[(((((triple7 triple4) -> rule2)) -> rule5))] @3: The squirrel chases the cow.[(((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6))] @4: The cow is green.[(((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4))] @5: The cow chases the squirrel.[(((((((triple10 ((((triple7 triple4) -> rule2)) -> rule5)) -> rule6) triple8) -> rule4)) -> rule8))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple7 triple4) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple6 triple2) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple10 ((((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow is green.
("cow" "is" "green" "+")
((((triple10 ((((triple7 triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((((triple10 ((((triple7 triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5