The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is rough. If something is green then it is big. If something is cold then it is green. If something is rough then it is green. If something is rough then it is green. All big things are green. If the squirrel is blue then the squirrel is green. Blue things are big. If something is cold then it is blue.
The squirrel is blue.
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule7) OR ((triple4) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule8)) -> rule7) OR ((((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule8)) -> rule6)) -> rule1))] The squirrel is blue.[(triple2 OR ((triple3) -> rule8))] The squirrel is cold.[(triple3)] The squirrel is green.[(triple4 OR ((triple1) -> rule5) OR ((triple2) -> rule6) OR ((triple3) -> rule2) OR ((triple5) -> rule3) OR ((triple5) -> rule4) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7)) -> rule5))] The squirrel is rough.[(triple5)]