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