The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. If someone is rough and green then they are nice. If someone is young then they are rough. All nice, rough people are young. If someone is green and nice then they are young. All rough, red people are young. Red people are young.
The squirrel does not visit the squirrel.
@0: The squirrel is green.[(triple1)] The squirrel is nice.[(triple2 OR ((triple4 triple1) -> rule1) OR ((((triple5) -> rule2) triple1) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule1))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple3) -> rule6)) -> rule2) OR ((((triple1 triple2) -> rule4)) -> rule2))] The squirrel is young.[(triple5 OR ((triple3) -> rule6) OR ((triple1 triple2) -> rule4) OR ((triple2 triple4) -> rule3) OR ((triple4 triple3) -> rule5) OR ((triple1 ((triple4 triple1) -> rule1)) -> rule4) OR ((((triple4 triple1) -> rule1) triple4) -> rule3))]