The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. All big things are green. All round things are green. If something is round then it is green. If something is green and nice then it is blue. If something is nice then it is blue. All blue things are round.
The squirrel eats the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple4) -> rule5) OR ((triple3 triple4) -> rule4) OR ((((triple1) -> rule1) triple4) -> rule4) OR ((((triple5) -> rule2) triple4) -> rule4) OR ((((triple5) -> rule3) triple4) -> rule4))] The squirrel is green.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule2) OR ((triple5) -> rule3) OR ((((triple2) -> rule6)) -> rule2) OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple4) -> rule5)) -> rule6)) -> rule3))] The squirrel is nice.[(triple4)] The squirrel is round.[(triple5 OR ((triple2) -> rule6) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple3 triple4) -> rule4)) -> rule6) OR ((((((triple1) -> rule1) triple4) -> rule4)) -> rule6))]