The bald eagle is blue. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cow is young. The cow likes the bald eagle. The cow likes the squirrel. The cow needs the squirrel. The cow sees the bald eagle. The dog likes the squirrel. The squirrel is cold. The squirrel needs the bald eagle. If something likes the bald eagle then it likes the cow. If something likes the bald eagle and it likes the cow then the cow sees the dog. If something likes the cow then the cow is cold. If something sees the squirrel then it likes the squirrel. If something is kind then it sees the dog. If something sees the dog then the dog likes the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something likes the bald eagle then it likes the cow.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "cow" "+"))
If something likes the bald eagle and it likes the cow then the cow sees the dog.
((("something" "likes" "bald eagle" "+") ("something" "likes" "cow" "+")) -> ("cow" "sees" "dog" "+"))
If something likes the cow then the cow is cold.
((("something" "likes" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something sees the squirrel then it likes the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "likes" "squirrel" "+"))
If something is kind then it sees the dog.
((("something" "is" "kind" "+")) -> ("something" "sees" "dog" "+"))
If something sees the dog then the dog likes the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple9)]
("cow" "sees" "bald eagle" "+")
triple9
The cow does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "sees" "bald eagle" "-")
triple9
The cow likes the cow.
True
2
proof
[(((triple6) -> rule1))]
("cow" "likes" "cow" "+")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "likes" "cow" "-")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow sees the dog.
True
4
proof
[(((triple6 ((triple6) -> rule1)) -> rule2))]
("cow" "sees" "dog" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule3) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule1)) -> rule3))]
("cow" "is" "cold" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The cow sees the dog.
("cow" "sees" "dog" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The dog likes the bald eagle.
True
5
proof
[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6))]
("dog" "likes" "bald eagle" "+")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The cow sees the dog.
("cow" "sees" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The dog does not like the bald eagle.
False
5
inv-proof
[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6))]
("dog" "likes" "bald eagle" "-")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The cow sees the dog.
("cow" "sees" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The squirrel does not like the cow.
Unknown
inv-rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cow" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "dog" "+")
The squirrel does not see the dog.
Unknown
inv-rconc
[@1: The squirrel sees the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "sees" "dog" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not need the dog.
Unknown
inv-random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "-")
The cow sees the squirrel.
Unknown
random
[@0: The cow sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "squirrel" "+")
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 squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow is young.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow likes the squirrel.[(triple7)] The cow needs the squirrel.[(triple8)] The cow sees the bald eagle.[(triple9)] The dog likes the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The bald eagle likes the squirrel.[(((triple4) -> rule4))] The cow likes the cow.[(((triple6) -> rule1))] @2: The cow is cold.[(((((triple6) -> rule1)) -> rule3) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule1)) -> rule3))] The cow sees the dog.[(((triple6 ((triple6) -> rule1)) -> rule2))] @3: The dog likes the bald eagle.[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6))] @4: The dog likes the cow.[(((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple8
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple9
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple4) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The cow sees the dog.
("cow" "sees" "dog" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow sees the dog.
("cow" "sees" "dog" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The cow sees the dog.
("cow" "sees" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The dog likes the cow.
("dog" "likes" "cow" "+")
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The cow sees the dog.
("cow" "sees" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4