The cow is blue. The cow is cold. The cow is not red. The cow is round. The cow is young. If something is red and round then it is young. All cold things are young. If something is blue then it is not red. All round things are not red. Cold things are not red. All young, red things are blue. If the cow is round and the cow is not cold then the cow is blue. If the cow is young then the cow is blue.
The cow does not chase the cow.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule8) OR ((((triple2) -> rule2)) -> rule8))] The cow is cold.[(triple2)] The cow is not red.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule5) OR ((triple4) -> rule4) OR ((((triple5) -> rule8)) -> rule3) OR ((((((triple2) -> rule2)) -> rule8)) -> rule3))] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple2) -> rule2))]