The cat chases the tiger. The cat eats the rabbit. The cat eats the tiger. The cat is blue. The cat is green. The cat is round. The cat needs the tiger. The rabbit chases the cat. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit needs the cat. The rabbit needs the tiger. The tiger chases the cat. If someone eats the rabbit then the rabbit is round. If someone is big then they eat the rabbit. If the rabbit needs the cat and the rabbit is big then the rabbit eats the tiger. If the rabbit is cold then the rabbit needs the tiger. If someone is round then they chase the rabbit. If someone chases the rabbit then the rabbit needs the tiger. If someone needs the tiger and they eat the tiger then the tiger needs the rabbit. If someone chases the tiger and they are round then they are big.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
If someone eats the rabbit then the rabbit is round.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone is big then they eat the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit needs the cat and the rabbit is big then the rabbit eats the tiger.
((("rabbit" "needs" "cat" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "eats" "tiger" "+"))
If the rabbit is cold then the rabbit needs the tiger.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "needs" "tiger" "+"))
If someone is round then they chase the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit then the rabbit needs the tiger.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "tiger" "+"))
If someone needs the tiger and they eat the tiger then the tiger needs the rabbit.
((("someone" "needs" "tiger" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "needs" "rabbit" "+"))
If someone chases the tiger and they are round then they are big.
((("someone" "chases" "tiger" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
The cat is round.
True
1
proof
[(triple6)]
("cat" "is" "round" "+")
triple6
The tiger does not chase the cat.
False
1
inv-proof
[(triple16)]
("tiger" "chases" "cat" "-")
triple16
The tiger needs the rabbit.
True
3
proof
[(((triple15 triple10) -> rule7) OR ((triple7 triple3) -> rule7) OR ((triple15 ((triple14 triple11) -> rule3)) -> rule7) OR ((((triple13) -> rule4) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((triple15 ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((triple15 ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7))]
("tiger" "needs" "rabbit" "+")
((triple15 triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((triple7 triple3) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((triple15 ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
((((triple13) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
((((triple13) -> (rule4 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
((triple15 ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((triple13) -> (rule4 % int5)) ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
((((((triple6) -> (rule5 % int6))) -> (rule6 % int5)) ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int5
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
((((((((((triple11) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int5
((((((((((triple11) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int6
((((((((((triple11) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int7
((triple15 ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
((((((((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
((((triple13) -> (rule4 % int7)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int7
((((((((((((triple1 triple6) -> (rule8 % int7))) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
The cat is big.
("cat" "is" "big" "+")
int7
((((((triple6) -> (rule5 % int8))) -> (rule6 % int7)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int7
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int8
((((((((triple2) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule6 % int6)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int8))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The rabbit is round.
("rabbit" "is" "round" "+")
int8
((((((((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int7
The cat is big.
("cat" "is" "big" "+")
int8
((((((((((triple11) -> (rule2 % int9))) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule6 % int6)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int8))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The rabbit is round.
("rabbit" "is" "round" "+")
int8
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int9
((((((((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int7
The cat is big.
("cat" "is" "big" "+")
int8
The cat does not chase the rabbit.
False
2
inv-proof
[(((triple6) -> rule5))]
("cat" "chases" "rabbit" "-")
((triple6) -> (rule5 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit chases the rabbit.
True
3
proof
[(((((triple2) -> rule1)) -> rule5) OR ((((((triple11) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5))]
("rabbit" "chases" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
((((((((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule5) OR ((((((triple11) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5))]
("rabbit" "chases" "rabbit" "-")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
((((((((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "big" "-")
The tiger chases the rabbit.
Unknown
rconc
[@1: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "rabbit" "+")
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@2: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the rabbit.[(triple2 OR ((((triple1 triple6) -> rule8)) -> rule2))] The cat eats the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is green.[(triple5)] The cat is round.[(triple6)] The cat needs the tiger.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit eats the tiger.[(triple10 OR ((triple14 triple11) -> rule3) OR ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3) OR ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3))] The rabbit is big.[(triple11 OR ((triple9 ((triple2) -> rule1)) -> rule8) OR ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8))] The rabbit is blue.[(triple12)] The rabbit is cold.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit needs the tiger.[(triple15 OR ((triple13) -> rule4) OR ((((triple6) -> rule5)) -> rule6) OR ((((((triple2) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6))] The tiger chases the cat.[(triple16)] @1: The cat chases the rabbit.[(((triple6) -> rule5))] The cat is big.[(((triple1 triple6) -> rule8))] The rabbit eats the rabbit.[(((triple11) -> rule2) OR ((((triple9 ((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule2))] The rabbit is round.[(((triple2) -> rule1) OR ((((triple11) -> rule2)) -> rule1) OR ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1))] The tiger needs the rabbit.[(((triple15 triple10) -> rule7) OR ((triple7 triple3) -> rule7) OR ((triple15 ((triple14 triple11) -> rule3)) -> rule7) OR ((((triple13) -> rule4) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((triple15 ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((triple15 ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((triple13) -> rule4) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 triple11) -> rule3)) -> rule7) OR ((((((triple6) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5)) -> rule6) ((triple14 ((triple9 ((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule7))] @2: The rabbit chases the rabbit.[(((((triple2) -> rule1)) -> rule5) OR ((((((triple11) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1 triple6) -> rule8)) -> rule2)) -> rule1)) -> rule5))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
((((triple1 triple6) -> (rule8 % int2))) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple7
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple8
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple9
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple10
((triple14 triple11) -> (rule3 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
((triple14 ((triple9 ((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
((triple9 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((triple9 ((((((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple15
((triple13) -> (rule4 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((((((((triple11) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int4
((((((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple16
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple6) -> (rule5 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((triple1 triple6) -> (rule8 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple11) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
((((triple9 ((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
((triple2) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
((((((triple1 triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple15 triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((triple7 triple3) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((triple15 ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
((((triple13) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
((((triple13) -> (rule4 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
((triple15 ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((triple13) -> (rule4 % int5)) ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
((((((triple6) -> (rule5 % int6))) -> (rule6 % int5)) ((triple14 ((triple9 ((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int5
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
((((((((((triple11) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int5
((((((((((triple11) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int6
((((((((((triple11) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int7
((triple15 ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
((((((((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
((((triple13) -> (rule4 % int7)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int7
((((((((((((triple1 triple6) -> (rule8 % int7))) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple14 triple11) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int6
The cat is big.
("cat" "is" "big" "+")
int7
((((((triple6) -> (rule5 % int8))) -> (rule6 % int7)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is big.
("cat" "is" "big" "+")
int6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int7
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int8
((((((((triple2) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule6 % int6)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int8))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The rabbit is round.
("rabbit" "is" "round" "+")
int8
((((((((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((triple2) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int7
The cat is big.
("cat" "is" "big" "+")
int8
((((((((((triple11) -> (rule2 % int9))) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule6 % int6)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int8))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The rabbit is round.
("rabbit" "is" "round" "+")
int8
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int9
((((((((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple14 ((triple9 ((((((triple1 triple6) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule1 % int6))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
int6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int7
The cat is big.
("cat" "is" "big" "+")
int8
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
((((((((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4