The bald eagle chases the tiger. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The dog chases the bald eagle. The dog visits the mouse. The mouse is red. The mouse likes the dog. The mouse visits the dog. The mouse visits the tiger. The tiger chases the mouse. The tiger is cold. The tiger is red. The tiger likes the mouse. The tiger visits the bald eagle. The tiger visits the dog. If the mouse likes the bald eagle and the bald eagle chases the tiger then the mouse chases the bald eagle. If something is green and cold then it is rough. If something chases the bald eagle and the bald eagle chases the dog then the dog chases the bald eagle. If something chases the bald eagle then the bald eagle visits the dog. If something likes the bald eagle then it visits the dog. If something likes the mouse and it visits the dog then it chases the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the mouse likes the bald eagle and the bald eagle chases the tiger then the mouse chases the bald eagle.
((("mouse" "likes" "bald eagle" "+") ("bald eagle" "chases" "tiger" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If something is green and cold then it is rough.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something chases the bald eagle and the bald eagle chases the dog then the dog chases the bald eagle.
((("something" "chases" "bald eagle" "+") ("bald eagle" "chases" "dog" "+")) -> ("dog" "chases" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle visits the dog.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "+"))
If something likes the bald eagle then it visits the dog.
((("something" "likes" "bald eagle" "+")) -> ("something" "visits" "dog" "+"))
If something likes the mouse and it visits the dog then it chases the bald eagle.
((("something" "likes" "mouse" "+") ("something" "visits" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
The mouse visits the dog.
True
1
proof
[(triple9)]
("mouse" "visits" "dog" "+")
triple9
The tiger is not red.
False
1
inv-proof
[(triple13)]
("tiger" "is" "red" "-")
triple13
The bald eagle is rough.
True
3
proof
[(((triple4 triple3) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple4 triple3) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle does not visit the dog.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple14 triple16) -> rule6)) -> rule4))]
("bald eagle" "visits" "dog" "-")
((triple5) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((((triple14 triple16) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The mouse does not like the tiger.
Unknown
inv-random
[@0: The mouse likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "tiger" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog visits the mouse.[(triple6)] The mouse is red.[(triple7)] The mouse likes the dog.[(triple8)] The mouse visits the dog.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is cold.[(triple12)] The tiger is red.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bald eagle is rough.[(((triple4 triple3) -> rule2))] The bald eagle visits the dog.[(((triple5) -> rule4) OR ((((triple14 triple16) -> rule6)) -> rule4))] The tiger chases the bald eagle.[(((triple14 triple16) -> rule6))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple8
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple4 triple3) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple5) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((((triple14 triple16) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple14 triple16) -> (rule6 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1