The bald eagle chases the cat. The bald eagle does not like the cat. The bald eagle likes the squirrel. The cat is blue. The cat is cold. The squirrel eats the bald eagle. The squirrel is kind. The squirrel likes the bald eagle. The squirrel likes the cat. The tiger is blue. The tiger is cold. If someone likes the tiger then the tiger does not chase the squirrel. If someone likes the tiger then the tiger likes the bald eagle. If someone chases the bald eagle then the bald eagle is blue. If someone likes the bald eagle and they eat the squirrel then they are blue. If someone eats the bald eagle then they do not eat the tiger. If someone chases the cat and the cat likes the tiger then the cat does not chase the squirrel. If someone is young then they like the tiger. If someone eats the squirrel then they like the tiger. If someone likes the bald eagle then they are young.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If someone likes the tiger then the tiger does not chase the squirrel.
((("someone" "likes" "tiger" "+")) -> ("tiger" "chases" "squirrel" "-"))
If someone likes the tiger then the tiger likes the bald eagle.
((("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle is blue.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone likes the bald eagle and they eat the squirrel then they are blue.
((("someone" "likes" "bald eagle" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bald eagle then they do not eat the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "tiger" "-"))
If someone chases the cat and the cat likes the tiger then the cat does not chase the squirrel.
((("someone" "chases" "cat" "+") ("cat" "likes" "tiger" "+")) -> ("cat" "chases" "squirrel" "-"))
If someone is young then they like the tiger.
((("someone" "is" "young" "+")) -> ("someone" "likes" "tiger" "+"))
If someone eats the squirrel then they like the tiger.
((("someone" "eats" "squirrel" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the bald eagle then they are young.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple8)]
("squirrel" "likes" "bald eagle" "+")
triple8
The squirrel is not kind.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "kind" "-")
triple7
The squirrel does not eat the tiger.
True
2
proof
[(((triple6) -> rule5))]
("squirrel" "eats" "tiger" "-")
((triple6) -> (rule5 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1
The squirrel eats the tiger.
False
2
inv-proof
[(((triple6) -> rule5))]
("squirrel" "eats" "tiger" "+")
((triple6) -> (rule5 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1
The squirrel likes the tiger.
True
3
proof
[(((((triple8) -> rule9)) -> rule7))]
("squirrel" "likes" "tiger" "+")
((((triple8) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel does not like the tiger.
False
3
inv-proof
[(((((triple8) -> rule9)) -> rule7))]
("squirrel" "likes" "tiger" "-")
((((triple8) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The tiger likes the bald eagle.
True
4
proof
[(((((((triple8) -> rule9)) -> rule7)) -> rule2))]
("tiger" "likes" "bald eagle" "+")
((((((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The tiger chases the squirrel.
False
4
inv-proof
[(((((((triple8) -> rule9)) -> rule7)) -> rule1) OR ((((((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9)) -> rule7)) -> rule1))]
("tiger" "chases" "squirrel" "+")
((((((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((((((((triple8) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
The tiger is young.
True
5
proof
[(((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9))]
("tiger" "is" "young" "+")
((((((((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The tiger is not young.
False
5
inv-proof
[(((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9))]
("tiger" "is" "young" "-")
((((((((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The tiger likes the tiger.
True
6
proof
[(((((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9)) -> rule7))]
("tiger" "likes" "tiger" "+")
((((((((((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The tiger does not like the tiger.
False
6
inv-proof
[(((((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9)) -> rule7))]
("tiger" "likes" "tiger" "-")
((((((((((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The cat does not like the tiger.
Unknown
inv-rconc
[@2: The cat likes the tiger.[CWA. Example of deepest failure = (rule7 <- rule9 <- FAIL)]]
("cat" "likes" "tiger" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@2: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule7 <- rule9 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "blue" "+")
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cat" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule9 <- 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 cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not like the cat.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel is kind.[(triple7)] The squirrel likes the bald eagle.[(triple8)] The squirrel likes the cat.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] @1: The squirrel does not eat the tiger.[(((triple6) -> rule5))] The squirrel is young.[(((triple8) -> rule9))] @2: The squirrel likes the tiger.[(((((triple8) -> rule9)) -> rule7))] @3: The tiger does not chase the squirrel.[(((((((triple8) -> rule9)) -> rule7)) -> rule1) OR ((((((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9)) -> rule7)) -> rule1))] The tiger likes the bald eagle.[(((((((triple8) -> rule9)) -> rule7)) -> rule2))] @4: The tiger is young.[(((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9))] @5: The tiger likes the tiger.[(((((((((((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule9)) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple8
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
((triple6) -> (rule5 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple8) -> (rule9 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
((((triple8) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
((((((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((((((((triple8) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((((((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
((((((((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((((((((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5