The bald eagle eats the bear. The bald eagle sees the mouse. The bald eagle sees the tiger. The bald eagle visits the bear. The bald eagle visits the tiger. The bear sees the tiger. The mouse is kind. The mouse is round. The mouse is young. The mouse visits the tiger. The tiger eats the bald eagle. The tiger is blue. The tiger is round. The tiger sees the bear. The tiger sees the mouse. The tiger visits the bald eagle. If someone eats the tiger then the tiger is young. If someone eats the bear then they are young. If someone sees the tiger then the tiger visits the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone eats the tiger then the tiger is young.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone eats the bear then they are young.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone sees the tiger then the tiger visits the bald eagle.
((("someone" "sees" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple5)]
("bald eagle" "visits" "tiger" "+")
triple5
The tiger is not round.
False
1
inv-proof
[(triple13)]
("tiger" "is" "round" "-")
triple13
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "young" "-")
The mouse sees the tiger.
Unknown
random
[@0: The mouse sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "tiger" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The mouse is kind.[(triple7)] The mouse is round.[(triple8)] The mouse is young.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger is blue.[(triple12)] The tiger is round.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the bald eagle.[(triple16 OR ((triple3) -> rule3) OR ((triple6) -> rule3))] @1: The bald eagle is young.[(((triple1) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple14
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple16
((triple3) -> (rule3 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
((triple6) -> (rule3 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1