The bald eagle chases the dog. The bald eagle eats the mouse. The bald eagle is nice. The bald eagle likes the dog. The dog chases the bald eagle. The dog chases the mouse. The dog is round. The dog likes the bald eagle. The mouse chases the dog. The mouse is round. The mouse is young. The mouse likes the dog. The squirrel chases the bald eagle. The squirrel likes the dog. The squirrel likes the mouse. If someone eats the dog then they are cold. If someone chases the bald eagle then the bald eagle is green.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If someone eats the dog then they are cold.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple5)]
("dog" "chases" "bald eagle" "+")
triple5
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "mouse" "-")
triple2
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the mouse.[(triple6)] The dog is round.[(triple7)] The dog likes the bald eagle.[(triple8)] The mouse chases the dog.[(triple9)] The mouse is round.[(triple10)] The mouse is young.[(triple11)] The mouse likes the dog.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel likes the mouse.[(triple15)] @1: The bald eagle is green.[(((triple13) -> rule2) OR ((triple5) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple12
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple13
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple14
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple15
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple13) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple5) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1