The cow is blue. The cow is cold. The cow is nice. The cow is red. The cow is young. If the cow is blue then the cow is red. If someone is nice then they are cold. If the cow is red and the cow is cold then the cow is blue.
The cow is cold.
@0: The cow is blue.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple3) -> rule2)) -> rule3))] The cow is cold.[(triple2 OR ((triple3) -> rule2))] The cow is nice.[(triple3)] The cow is red.[(triple4 OR ((triple1) -> rule1))] The cow is young.[(triple5)]