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