The cow is big. The cow is cold. The cow is red. The cow is rough. The cow is young. All rough things are cold. If the cow is cold then the cow is young. Rough things are big. If something is young and not rough then it is big. All young, rough things are big. Cold things are red. If something is big and not rough then it is red. If something is big and not cold then it is young.
The cow is young.
@0: The cow is big.[(triple1 OR ((triple4) -> rule3) OR ((triple5 triple4) -> rule5) OR ((((triple2) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) triple4) -> rule5))] The cow is cold.[(triple2 OR ((triple4) -> rule1))] The cow is red.[(triple3 OR ((triple2) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] The cow is rough.[(triple4)] The cow is young.[(triple5 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))]