The lion eats the tiger. The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is young. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. The tiger needs the lion. The tiger visits the lion. If something needs the tiger then it visits the tiger. If something visits the tiger then the tiger is green. If something is green and it visits the lion then it is rough. If something is red and rough then it needs the tiger. If the tiger eats the lion and the tiger needs the lion then the tiger is rough. If something is nice then it needs the lion.
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something needs the tiger then it visits the tiger.
((("something" "needs" "tiger" "+")) -> ("something" "visits" "tiger" "+"))
If something visits the tiger then the tiger is green.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If something is green and it visits the lion then it is rough.
((("something" "is" "green" "+") ("something" "visits" "lion" "+")) -> ("something" "is" "rough" "+"))
If something is red and rough then it needs the tiger.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "tiger" "+"))
If the tiger eats the lion and the tiger needs the lion then the tiger is rough.
((("tiger" "eats" "lion" "+") ("tiger" "needs" "lion" "+")) -> ("tiger" "is" "rough" "+"))
If something is nice then it needs the lion.
((("something" "is" "nice" "+")) -> ("something" "needs" "lion" "+"))
The lion is green.
True
1
proof
[(triple2)]
("lion" "is" "green" "+")
triple2
The lion is not rough.
False
1
inv-proof
[(triple5)]
("lion" "is" "rough" "-")
triple5
The tiger needs the tiger.
True
3
proof
[(((triple12 triple13) -> rule4) OR ((triple12 ((triple10 triple16) -> rule3)) -> rule4) OR ((triple12 ((triple9 triple15) -> rule5)) -> rule4) OR ((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4) OR ((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4))]
("tiger" "needs" "tiger" "+")
((triple12 triple13) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
((triple12 ((triple10 triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
((triple12 ((((triple8) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((triple12 ((((((triple7) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
((triple12 ((((((((triple4 triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int5
The tiger does not need the tiger.
False
3
inv-proof
[(((triple12 triple13) -> rule4) OR ((triple12 ((triple10 triple16) -> rule3)) -> rule4) OR ((triple12 ((triple9 triple15) -> rule5)) -> rule4) OR ((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4) OR ((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4))]
("tiger" "needs" "tiger" "-")
((triple12 triple13) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
((triple12 ((triple10 triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
((triple12 ((((triple8) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((triple12 ((((((triple7) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
((triple12 ((((((((triple4 triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int5
The tiger visits the tiger.
True
4
proof
[(((((triple12 triple13) -> rule4)) -> rule1) OR ((((triple12 ((triple10 triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 triple15) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1))]
("tiger" "visits" "tiger" "+")
((((triple12 triple13) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple12 ((triple10 triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int4
((((triple12 ((((triple8) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
((((triple12 ((((((triple7) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
((((triple12 ((((((((triple4 triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int6
The tiger does not visit the tiger.
False
4
inv-proof
[(((((triple12 triple13) -> rule4)) -> rule1) OR ((((triple12 ((triple10 triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 triple15) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1))]
("tiger" "visits" "tiger" "-")
((((triple12 triple13) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple12 ((triple10 triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int4
((((triple12 ((((triple8) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
((((triple12 ((((((triple7) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
((((triple12 ((((((((triple4 triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int6
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The lion eats the tiger.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion needs the tiger.[(triple7 OR ((triple4 triple5) -> rule4))] The lion visits the tiger.[(triple8 OR ((triple7) -> rule1) OR ((((triple4 triple5) -> rule4)) -> rule1))] The tiger eats the lion.[(triple9)] The tiger is green.[(triple10 OR ((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((((((triple12 triple13) -> rule4)) -> rule1)) -> rule2) OR ((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple9 triple15) -> rule5)) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule1)) -> rule2))] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13 OR ((triple10 triple16) -> rule3) OR ((triple9 triple15) -> rule5) OR ((triple9 ((triple11) -> rule6)) -> rule5) OR ((((triple8) -> rule2) triple16) -> rule3) OR ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3) OR ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3))] The tiger is young.[(triple14)] The tiger needs the lion.[(triple15 OR ((triple11) -> rule6))] The tiger visits the lion.[(triple16)] @1: The lion needs the lion.[(((triple3) -> rule6))] The tiger needs the tiger.[(((triple12 triple13) -> rule4) OR ((triple12 ((triple10 triple16) -> rule3)) -> rule4) OR ((triple12 ((triple9 triple15) -> rule5)) -> rule4) OR ((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4) OR ((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4) OR ((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4))] @2: The tiger visits the tiger.[(((((triple12 triple13) -> rule4)) -> rule1) OR ((((triple12 ((triple10 triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 triple15) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((triple9 ((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 ((((triple8) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((triple7) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1) OR ((((triple12 ((((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) triple16) -> rule3)) -> rule4)) -> rule1))]
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple7
((triple4 triple5) -> (rule4 % int1))
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple8
((triple7) -> (rule1 % int1))
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int1
((((triple4 triple5) -> (rule4 % int2))) -> (rule1 % int1))
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int1
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
((triple8) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int2
((((((triple12 triple13) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((((triple4 triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int3
((((((triple12 ((triple9 triple15) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
((((((triple12 ((triple9 ((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int5
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
((triple10 triple16) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple9 triple15) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple9 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
((((triple8) -> (rule2 % int2)) triple16) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple16) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int3
((((((((triple4 triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple16) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple15
((triple11) -> (rule6 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple3) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple12 triple13) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
((triple12 ((triple10 triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((triple12 ((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
((triple12 ((((triple8) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
((triple12 ((((((triple7) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
((triple12 ((((((((triple4 triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple16) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int5
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((((triple12 triple13) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple12 ((triple10 triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((triple12 ((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int4
((((triple12 ((((triple8) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
((((triple12 ((((((triple7) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
((((triple12 ((((((((triple4 triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) triple16) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int6