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