The bald eagle likes the cow. The bald eagle likes the squirrel. The bald eagle likes the tiger. The cow chases the tiger. The cow is big. The cow likes the squirrel. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is blue. The squirrel is cold. The squirrel needs the cow. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger needs the bald eagle. If someone likes the bald eagle then the bald eagle needs the squirrel. If someone is kind then they need the cow. If someone needs the bald eagle then they are nice. If someone is nice then they need the squirrel. If someone needs the squirrel then the squirrel needs the bald eagle.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle needs the squirrel.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone is kind then they need the cow.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the bald eagle then they are nice.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they need the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the squirrel then the squirrel needs the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
The tiger chases the squirrel.
True
1
proof
[(triple13)]
("tiger" "chases" "squirrel" "+")
triple13
The bald eagle does not like the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The tiger is nice.
True
2
proof
[(((triple14) -> rule3))]
("tiger" "is" "nice" "+")
((triple14) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple14) -> rule3))]
("tiger" "is" "nice" "-")
((triple14) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the squirrel.
True
3
proof
[(((((triple14) -> rule3)) -> rule4))]
("tiger" "needs" "squirrel" "+")
((((triple14) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger does not need the squirrel.
False
3
inv-proof
[(((((triple14) -> rule3)) -> rule4))]
("tiger" "needs" "squirrel" "-")
((((triple14) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel needs the bald eagle.
True
4
proof
[(((((((triple14) -> rule3)) -> rule4)) -> rule5))]
("squirrel" "needs" "bald eagle" "+")
((((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The squirrel does not need the bald eagle.
False
4
inv-proof
[(((((((triple14) -> rule3)) -> rule4)) -> rule5))]
("squirrel" "needs" "bald eagle" "-")
((((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The squirrel is nice.
True
5
proof
[(((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3))]
("squirrel" "is" "nice" "+")
((((((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The squirrel is not nice.
False
5
inv-proof
[(((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3))]
("squirrel" "is" "nice" "-")
((((((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The squirrel needs the squirrel.
True
6
proof
[(((((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3)) -> rule4))]
("squirrel" "needs" "squirrel" "+")
((((((((((triple14) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
The squirrel does not need the squirrel.
False
6
inv-proof
[(((((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3)) -> rule4))]
("squirrel" "needs" "squirrel" "-")
((((((((((triple14) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "nice" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The tiger does not need the cow.
Unknown
inv-rconc
[@1: The tiger needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "cow" "-")
The cow needs the squirrel.
Unknown
rconc
[@2: The cow needs the squirrel.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("cow" "needs" "squirrel" "+")
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@2: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The squirrel does not need the tiger.
Unknown
inv-random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "-")
The squirrel likes the tiger.
Unknown
random
[@0: The squirrel likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cow chases the tiger.[(triple4)] The cow is big.[(triple5)] The cow likes the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel needs the cow.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger needs the bald eagle.[(triple14)] @1: The tiger is nice.[(((triple14) -> rule3))] @2: The tiger needs the squirrel.[(((((triple14) -> rule3)) -> rule4))] @3: The squirrel needs the bald eagle.[(((((((triple14) -> rule3)) -> rule4)) -> rule5))] @4: The squirrel is nice.[(((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3))] @5: The squirrel needs the squirrel.[(((((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule3)) -> rule4))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
((triple14) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((((triple14) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((((((((triple14) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5