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