The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel is young. Rough, young people are blue. If someone is young and nice then they are rough. If someone is nice and rough then they are young. If someone is young then they are rough. If someone is nice and rough then they are round. If the squirrel is round then the squirrel is rough.
The squirrel is round.
@0: The squirrel is blue.[(triple1 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule1) OR ((((triple4) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule4) triple5) -> rule1) OR ((((triple5 triple2) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple2 triple3) -> rule3)) -> rule1) OR ((((triple5) -> rule4) ((triple2 triple3) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule2) ((triple2 triple3) -> rule3)) -> rule1) OR ((triple3 ((triple2 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((triple2 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple5) -> rule4) ((triple2 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule2) ((triple2 ((triple4) -> rule6)) -> rule3)) -> rule1))] The squirrel is nice.[(triple2)] The squirrel is rough.[(triple3 OR ((triple4) -> rule6) OR ((triple5) -> rule4) OR ((triple5 triple2) -> rule2))] The squirrel is round.[(triple4 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple5) -> rule4)) -> rule5) OR ((triple2 ((triple5 triple2) -> rule2)) -> rule5))] The squirrel is young.[(triple5 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple4) -> rule6)) -> rule3))]