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