The cow is big. The cow is green. The cow is red. The cow is round. The cow is young. If something is big and round then it is red. All big, red things are green. If the cow is green and the cow is young then the cow is red. Green things are red. Green things are round. All round things are red.
The cow is not round.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple4) -> rule6)) -> rule2) OR ((triple1 ((triple1 triple4) -> rule1)) -> rule2))] The cow is red.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule6) OR ((triple1 triple4) -> rule1) OR ((triple2 triple5) -> rule3) OR ((((triple2) -> rule5)) -> rule6) OR ((triple1 ((triple2) -> rule5)) -> rule1))] The cow is round.[(triple4 OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5))] The cow is young.[(triple5)]