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