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