The bear is big. The bear is nice. The bear is rough. The bear sees the squirrel. The bear sees the tiger. The lion eats the squirrel. The lion is not green. The lion likes the tiger. The squirrel eats the tiger. The squirrel likes the lion. The squirrel likes the tiger. The tiger eats the bear. The tiger is not nice. The tiger is rough. The tiger does not like the squirrel. The tiger sees the lion. If someone likes the tiger and the tiger eats the bear then the bear eats the tiger. If someone eats the tiger then the tiger is blue. If someone sees the bear then they do not like the lion. If someone is blue then they see the bear. If someone eats the bear then the bear likes the tiger. If someone sees the bear then the bear is blue. If someone likes the tiger and the tiger sees the lion then they eat the lion. If someone sees the tiger and they are not blue then the tiger eats the lion.
The bear is not rough.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear sees the squirrel.[(triple4)] The bear sees the tiger.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is not green.[(triple7)] The lion likes the tiger.[(triple8)] The squirrel eats the tiger.[(triple9)] The squirrel likes the lion.[(triple10)] The squirrel likes the tiger.[(triple11)] The tiger does not like the squirrel.[(triple15)] The tiger eats the bear.[(triple12)] The tiger is not nice.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the lion.[(triple16)] @1: The bear eats the tiger.[(((triple11 triple12) -> rule1) OR ((triple8 triple12) -> rule1) OR ((((triple12) -> rule5) triple12) -> rule1))] The bear likes the tiger.[(((triple12) -> rule5))] The lion eats the lion.[(((triple8 triple16) -> rule7))] The squirrel eats the lion.[(((triple11 triple16) -> rule7))] The tiger is blue.[(((triple9) -> rule2) OR ((((triple11 triple12) -> rule1)) -> rule2) OR ((((triple8 triple12) -> rule1)) -> rule2) OR ((((((triple12) -> rule5) triple12) -> rule1)) -> rule2))] @2: The bear eats the lion.[(((((triple12) -> rule5) triple16) -> rule7))] The tiger sees the bear.[(((((triple9) -> rule2)) -> rule4) OR ((((((triple11 triple12) -> rule1)) -> rule2)) -> rule4) OR ((((((triple8 triple12) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple12) -> rule5) triple12) -> rule1)) -> rule2)) -> rule4))] @3: The bear is blue.[(((((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple11 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple8 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((((((((triple12) -> rule5) triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6))] The tiger does not like the lion.[(((((((triple9) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple11 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple8 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple12) -> rule5) triple12) -> rule1)) -> rule2)) -> rule4)) -> rule3))] @4: The bear sees the bear.[(((((((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule4) OR ((((((((((triple11 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4) OR ((((((((((triple8 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4) OR ((((((((((((triple12) -> rule5) triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4))] @5: The bear does not like the lion.[(((((((((((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple11 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple8 triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((((triple12) -> rule5) triple12) -> rule1)) -> rule2)) -> rule4)) -> rule6)) -> rule4)) -> rule3))]