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