The cow is cold. The cow is not nice. The cow is rough. The cow is round. The cow is not young. If the cow is rough then the cow is round. If the cow is rough then the cow is round. If something is cold then it is round. If something is young then it is round. Young, round things are nice. If the cow is young and the cow is nice then the cow is cold. If the cow is round and the cow is cold then the cow is not young. If something is young and nice then it is not cold.
The cow does not like the cow.
@0: The cow is cold.[(triple1)] The cow is not nice.[(triple2)] The cow is not young.[(triple5 OR ((triple4 triple1) -> rule7) OR ((((triple1) -> rule3) triple1) -> rule7) OR ((((triple3) -> rule1) triple1) -> rule7) OR ((((triple3) -> rule2) triple1) -> rule7))] The cow is rough.[(triple3)] The cow is round.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule1) OR ((triple3) -> rule2))]