The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is red. The bald eagle likes the cow. The bald eagle likes the dog. The cow is red. The cow is not rough. The dog is cold. The dog is nice. The dog sees the squirrel. The squirrel does not chase the bald eagle. The squirrel chases the dog. The squirrel does not like the dog. The squirrel does not see the cow. The squirrel sees the dog. If something sees the dog then it chases the squirrel. If something likes the squirrel and it likes the cow then it likes the bald eagle. If something chases the cow then the cow is red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something sees the dog then it chases the squirrel.
((("something" "sees" "dog" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the squirrel and it likes the cow then it likes the bald eagle.
((("something" "likes" "squirrel" "+") ("something" "likes" "cow" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the cow then the cow is red.
((("something" "chases" "cow" "+")) -> ("cow" "is" "red" "+"))
The cow is red.
True
1
proof
[(triple6 OR ((triple1) -> rule3))]
("cow" "is" "red" "+")
triple6
((triple1) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The squirrel does not see the dog.
False
1
inv-proof
[(triple15)]
("squirrel" "sees" "dog" "-")
triple15
The squirrel chases the squirrel.
True
2
proof
[(((triple15) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple15) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple15) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple15) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The cow does not see the dog.
Unknown
inv-random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "-")
The dog chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the dog.[(triple5)] The cow is not rough.[(triple7)] The cow is red.[(triple6 OR ((triple1) -> rule3))] The dog is cold.[(triple8)] The dog is nice.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel chases the dog.[(triple12)] The squirrel does not chase the bald eagle.[(triple11)] The squirrel does not like the dog.[(triple13)] The squirrel does not see the cow.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The squirrel chases the squirrel.[(((triple15) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
The cow is not rough.
("cow" "is" "rough" "-")
triple7
The cow is red.
("cow" "is" "red" "+")
triple6
((triple1) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple12
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple11
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple13
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple15) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1