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