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