The bald eagle is big. The bald eagle needs the tiger. The mouse eats the rabbit. The mouse does not like the rabbit. The mouse needs the bald eagle. The rabbit likes the bald eagle. The tiger eats the bald eagle. The tiger eats the mouse. The tiger does not like the mouse. The tiger likes the rabbit. The tiger needs the bald eagle. If something likes the bald eagle then it eats the rabbit. If something is big then it likes the rabbit. If something likes the rabbit then the rabbit likes the tiger. If something is big and it needs the rabbit then the rabbit eats the tiger. If the tiger is young and the tiger eats the bald eagle then the tiger eats the rabbit. If something is round then it eats the mouse. If something likes the rabbit then it does not eat the tiger. If the rabbit likes the tiger and the tiger eats the mouse then the rabbit is big. If something likes the rabbit then it is round.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If something likes the bald eagle then it eats the rabbit.
((("something" "likes" "bald eagle" "+")) -> ("something" "eats" "rabbit" "+"))
If something is big then it likes the rabbit.
((("something" "is" "big" "+")) -> ("something" "likes" "rabbit" "+"))
If something likes the rabbit then the rabbit likes the tiger.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "tiger" "+"))
If something is big and it needs the rabbit then the rabbit eats the tiger.
((("something" "is" "big" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "+"))
If the tiger is young and the tiger eats the bald eagle then the tiger eats the rabbit.
((("tiger" "is" "young" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "eats" "rabbit" "+"))
If something is round then it eats the mouse.
((("something" "is" "round" "+")) -> ("something" "eats" "mouse" "+"))
If something likes the rabbit then it does not eat the tiger.
((("something" "likes" "rabbit" "+")) -> ("something" "eats" "tiger" "-"))
If the rabbit likes the tiger and the tiger eats the mouse then the rabbit is big.
((("rabbit" "likes" "tiger" "+") ("tiger" "eats" "mouse" "+")) -> ("rabbit" "is" "big" "+"))
If something likes the rabbit then it is round.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "round" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple2)]
("bald eagle" "needs" "tiger" "+")
triple2
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "bald eagle" "-")
triple6
The tiger is round.
True
2
proof
[(((triple10) -> rule9))]
("tiger" "is" "round" "+")
((triple10) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger eats the tiger.
False
2
inv-proof
[(((triple10) -> rule7))]
("tiger" "eats" "tiger" "+")
((triple10) -> (rule7 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1
The bald eagle is round.
True
3
proof
[(((((triple1) -> rule2)) -> rule9))]
("bald eagle" "is" "round" "+")
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit is not big.
False
4
inv-proof
[(((((triple10) -> rule3) triple8) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) triple8) -> rule8) OR ((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8))]
("rabbit" "is" "big" "-")
((((triple10) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((((triple10) -> (rule3 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The rabbit likes the rabbit.
True
5
proof
[(((((((triple10) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((((((triple10) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((((((triple10) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The rabbit does not like the rabbit.
False
5
inv-proof
[(((((((triple10) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((((((triple10) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((((((triple10) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The rabbit is round.
True
6
proof
[(((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9) OR ((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9) OR ((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9) OR ((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9))]
("rabbit" "is" "round" "+")
((((((((triple10) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
((((((((((triple1) -> (rule2 % int7))) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int7
The rabbit eats the tiger.
False
6
inv-proof
[(((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule7) OR ((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule7))]
("rabbit" "eats" "tiger" "+")
((((((((triple10) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
((((((((((triple1) -> (rule2 % int7))) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int7
The rabbit eats the mouse.
True
7
proof
[(((((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6))]
("rabbit" "eats" "mouse" "+")
((((((((((triple10) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((((((((triple10) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
((((((((((((triple1) -> (rule2 % int8))) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int8
The rabbit does not eat the mouse.
False
7
inv-proof
[(((((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6))]
("rabbit" "eats" "mouse" "-")
((((((((((triple10) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((((((((triple10) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
((((((((((((triple1) -> (rule2 % int8))) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int8
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("mouse" "is" "round" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@1: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The mouse eats the mouse.
Unknown
rconc
[@2: The mouse eats the mouse.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not eat the tiger.
Unknown
inv-random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit needs the mouse.
Unknown
random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "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 is big.[(triple1)] The bald eagle needs the tiger.[(triple2)] The mouse does not like the rabbit.[(triple4)] The mouse eats the rabbit.[(triple3)] The mouse needs the bald eagle.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The tiger does not like the mouse.[(triple9)] The tiger eats the bald eagle.[(triple7)] The tiger eats the mouse.[(triple8 OR ((((triple10) -> rule9)) -> rule6))] The tiger likes the rabbit.[(triple10)] The tiger needs the bald eagle.[(triple11)] @1: The bald eagle likes the rabbit.[(((triple1) -> rule2))] The rabbit eats the rabbit.[(((triple6) -> rule1))] The rabbit likes the tiger.[(((triple10) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] The tiger does not eat the tiger.[(((triple10) -> rule7))] The tiger is round.[(((triple10) -> rule9))] @2: The bald eagle does not eat the tiger.[(((((triple1) -> rule2)) -> rule7))] The bald eagle is round.[(((((triple1) -> rule2)) -> rule9))] The rabbit is big.[(((((triple10) -> rule3) triple8) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) triple8) -> rule8) OR ((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8))] @3: The bald eagle eats the mouse.[(((((((triple1) -> rule2)) -> rule9)) -> rule6))] The rabbit likes the rabbit.[(((((((triple10) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2) OR ((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2))] @4: The rabbit does not eat the tiger.[(((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule7) OR ((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule7))] The rabbit is round.[(((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9) OR ((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9) OR ((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9) OR ((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9))] @5: The rabbit eats the mouse.[(((((((((((triple10) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) triple8) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((triple10) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6) OR ((((((((((((triple1) -> rule2)) -> rule3) ((((triple10) -> rule9)) -> rule6)) -> rule8)) -> rule2)) -> rule9)) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple4
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple10
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple6) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((triple10) -> (rule3 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
((triple10) -> (rule7 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple10) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple10) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((((triple10) -> (rule3 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((((triple1) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((triple10) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((((((triple10) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
((((((((triple10) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
((((((((((triple1) -> (rule2 % int7))) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int7
The rabbit is round.
("rabbit" "is" "round" "+")
((((((((triple10) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((((((triple10) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
((((((((((triple1) -> (rule2 % int7))) -> (rule3 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int7
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((((((((((triple10) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
((((((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((((((((triple10) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
((((((((((((triple1) -> (rule2 % int8))) -> (rule3 % int7)) ((((triple10) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int8