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