The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel is young. All young things are big. All big things are green. All young things are big. Round, blue things are big. All big things are round. Young things are round.
The squirrel is not blue.
@0: The squirrel is big.[(triple1 OR ((triple5) -> rule1) OR ((triple5) -> rule3) OR ((triple4 triple2) -> rule4) OR ((((triple5) -> rule6) triple2) -> rule4))] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3 OR ((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((triple4 triple2) -> rule4)) -> rule2) OR ((((((triple5) -> rule6) triple2) -> rule4)) -> rule2))] The squirrel is round.[(triple4 OR ((triple1) -> rule5) OR ((triple5) -> rule6) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] The squirrel is young.[(triple5)]