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