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