The bald eagle chases the rabbit. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle sees the squirrel. The dog chases the bald eagle. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the dog. The squirrel eats the dog. The squirrel sees the bald eagle. The squirrel sees the rabbit. If something chases the dog and it chases the rabbit then it sees the rabbit. If something chases the squirrel and it sees the squirrel then it eats the dog. If something eats the squirrel then the squirrel is kind. If something sees the dog and it is kind then it sees the squirrel. If something chases the dog then it chases the rabbit. If something chases the rabbit then it sees the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something chases the dog and it chases the rabbit then it sees the rabbit.
((("something" "chases" "dog" "+") ("something" "chases" "rabbit" "+")) -> ("something" "sees" "rabbit" "+"))
If something chases the squirrel and it sees the squirrel then it eats the dog.
((("something" "chases" "squirrel" "+") ("something" "sees" "squirrel" "+")) -> ("something" "eats" "dog" "+"))
If something eats the squirrel then the squirrel is kind.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something sees the dog and it is kind then it sees the squirrel.
((("something" "sees" "dog" "+") ("something" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
If something chases the dog then it chases the rabbit.
((("something" "chases" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it sees the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
The squirrel sees the rabbit.
True
1
proof
[(triple16)]
("squirrel" "sees" "rabbit" "+")
triple16
The squirrel does not see the rabbit.
False
1
inv-proof
[(triple16)]
("squirrel" "sees" "rabbit" "-")
triple16
The dog does not see the rabbit.
Unknown
inv-rconc
[@1: The dog sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "rabbit" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog chases the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the bald eagle.[(triple12)] The rabbit sees the dog.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule6))] The rabbit sees the squirrel.[(((triple13 triple10) -> rule4))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple12
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple13
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple14
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple15
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
((triple13 triple10) -> (rule4 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1