The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is big. The tiger is green. The tiger is nice. The tiger is round. The tiger likes the squirrel. The tiger needs the squirrel. The tiger visits the squirrel. If something likes the tiger then the tiger is green. If something likes the squirrel then it likes the tiger. If something visits the tiger then it likes the tiger. If something likes the squirrel and it needs the tiger then the tiger needs the squirrel. If the squirrel likes the tiger then the tiger likes the squirrel. If something needs the tiger then it is big. All big things are young. If something likes the tiger and the tiger needs the squirrel then the squirrel is nice.
The squirrel is not round.
@0: The squirrel is big.[(triple1 OR ((triple7) -> rule6))] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3 OR ((triple6 triple14) -> rule8) OR ((((triple13) -> rule2) triple14) -> rule8) OR ((((triple8) -> rule3) triple14) -> rule8) OR ((((((triple6) -> rule5)) -> rule2) triple14) -> rule8) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule2) triple14) -> rule8))] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple1) -> rule7) OR ((((triple7) -> rule6)) -> rule7))] The squirrel likes the tiger.[(triple6 OR ((triple8) -> rule3))] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10 OR ((triple6) -> rule1) OR ((((triple13) -> rule2)) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((triple6) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule1))] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger likes the squirrel.[(triple13 OR ((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] The tiger needs the squirrel.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The tiger is young.[(((triple9) -> rule7))] The tiger likes the tiger.[(((triple13) -> rule2) OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple8) -> rule3)) -> rule5)) -> rule2))]