The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is young. All blue people are cold. All big, blue people are young. All young people are cold. All cold people are young. If someone is big then they are green. All young people are blue. All blue, green people are big. All big people are green.
The squirrel does not chase the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple2 triple4) -> rule7) OR ((((triple5) -> rule6) triple4) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) triple4) -> rule7))] The squirrel is blue.[(triple2 OR ((triple5) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] The squirrel is cold.[(triple3 OR ((triple2) -> rule1) OR ((triple5) -> rule3) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple1 triple2) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule7) triple2) -> rule2)) -> rule3))] The squirrel is green.[(triple4 OR ((triple1) -> rule5) OR ((triple1) -> rule8))] The squirrel is young.[(triple5 OR ((triple3) -> rule4) OR ((triple1 triple2) -> rule2) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple2 triple4) -> rule7) triple2) -> rule2))]