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