The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle does not visit the tiger. The mouse is big. The mouse is blue. The mouse is not round. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is blue. The tiger is cold. The tiger needs the bald eagle. The tiger needs the mouse. The tiger visits the bald eagle. If someone visits the bald eagle and they do not need the mouse then the mouse does not visit the bald eagle. If someone visits the mouse then the mouse visits the bald eagle. If someone visits the mouse and they eat the mouse then they need the bald eagle. If someone is young then they need the bald eagle. If someone visits the bald eagle and they do not need the tiger then the bald eagle is not round. If the tiger needs the bald eagle and the tiger eats the mouse then the tiger is round. If the bald eagle eats the tiger and the tiger is big then the bald eagle visits the mouse. If someone eats the bald eagle and they are blue then they are big.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone visits the bald eagle and they do not need the mouse then the mouse does not visit the bald eagle.
((("someone" "visits" "bald eagle" "+") ("someone" "needs" "mouse" "~")) -> ("mouse" "visits" "bald eagle" "-"))
If someone visits the mouse then the mouse visits the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If someone visits the mouse and they eat the mouse then they need the bald eagle.
((("someone" "visits" "mouse" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is young then they need the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle and they do not need the tiger then the bald eagle is not round.
((("someone" "visits" "bald eagle" "+") ("someone" "needs" "tiger" "~")) -> ("bald eagle" "is" "round" "-"))
If the tiger needs the bald eagle and the tiger eats the mouse then the tiger is round.
((("tiger" "needs" "bald eagle" "+") ("tiger" "eats" "mouse" "+")) -> ("tiger" "is" "round" "+"))
If the bald eagle eats the tiger and the tiger is big then the bald eagle visits the mouse.
((("bald eagle" "eats" "tiger" "+") ("tiger" "is" "big" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If someone eats the bald eagle and they are blue then they are big.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
The tiger is blue.
True
1
proof
[(triple11)]
("tiger" "is" "blue" "+")
triple11
The tiger does not need the mouse.
False
1
inv-proof
[(triple14)]
("tiger" "needs" "mouse" "-")
triple14
The tiger is round.
True
3
proof
[(((triple13 triple10) -> rule6))]
("tiger" "is" "round" "+")
((triple13 triple10) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not big.
False
3
inv-proof
[(((triple9 triple11) -> rule8))]
("tiger" "is" "big" "-")
((triple9 triple11) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bald eagle visits the mouse.
True
5
proof
[(((triple2 ((triple9 triple11) -> rule8)) -> rule7))]
("bald eagle" "visits" "mouse" "+")
((triple2 ((triple9 triple11) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The bald eagle does not visit the mouse.
False
5
inv-proof
[(((triple2 ((triple9 triple11) -> rule8)) -> rule7))]
("bald eagle" "visits" "mouse" "-")
((triple2 ((triple9 triple11) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The mouse visits the bald eagle.
True
6
proof
[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7)) -> rule2))]
("mouse" "visits" "bald eagle" "+")
((((triple2 ((triple9 triple11) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The bald eagle does not need the bald eagle.
False
7
inv-proof
[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7) triple1) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((((triple2 ((triple9 triple11) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The mouse does not need the bald eagle.
Unknown
inv-rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "bald eagle" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "big" "+")
The mouse does not need the tiger.
Unknown
inv-random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The tiger does not visit the mouse.
Unknown
inv-random
[@0: The tiger visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is not round.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The tiger is big.[(((triple9 triple11) -> rule8))] The tiger is round.[(((triple13 triple10) -> rule6))] @2: The bald eagle visits the mouse.[(((triple2 ((triple9 triple11) -> rule8)) -> rule7))] @3: The bald eagle needs the bald eagle.[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7) triple1) -> rule3))] The mouse visits the bald eagle.[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7)) -> rule2))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple5
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is not round.
("mouse" "is" "round" "-")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple13
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The tiger is big.
("tiger" "is" "big" "+")
((triple9 triple11) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple13 triple10) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple2 ((triple9 triple11) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple2 ((triple9 triple11) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((((triple2 ((triple9 triple11) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3