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