The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. If something is young then it is red. All kind, rough things are young. If something is nice then it is young. If something is kind then it is red. If something is nice then it is young. All young things are kind. If the squirrel is kind and the squirrel is rough then the squirrel is nice. If the squirrel is rough and the squirrel is kind then the squirrel is red.
The squirrel does not need the squirrel.
@0: The squirrel is kind.[(triple1 OR ((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] The squirrel is nice.[(triple2 OR ((triple1 triple4) -> rule7) OR ((((triple5) -> rule6) triple4) -> rule7))] The squirrel is red.[(triple3 OR ((triple1) -> rule4) OR ((triple5) -> rule1) OR ((triple4 triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule1) OR ((triple4 ((triple5) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule5)) -> rule6)) -> rule4) OR ((((((triple1 triple4) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1 triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple4 ((((triple2) -> rule3)) -> rule6)) -> rule8) OR ((triple4 ((((triple2) -> rule5)) -> rule6)) -> rule8))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule3) OR ((triple2) -> rule5) OR ((triple1 triple4) -> rule2) OR ((((triple1 triple4) -> rule7)) -> rule3) OR ((((triple1 triple4) -> rule7)) -> rule5))]