The cow is big. The cow is blue. The cow is cold. The cow is nice. The cow is rough. If someone is cold and big then they are blue. If the cow is cold and the cow is nice then the cow is big. If the cow is big and the cow is cold then the cow is rough. If the cow is big then the cow is nice. If someone is big then they are blue. All nice, cold people are rough.
The cow is not cold.
@0: The cow is big.[(triple1 OR ((triple3 triple4) -> rule2))] The cow is blue.[(triple2 OR ((triple1) -> rule5) OR ((triple3 triple1) -> rule1) OR ((((triple3 triple4) -> rule2)) -> rule5) OR ((triple3 ((triple3 triple4) -> rule2)) -> rule1))] The cow is cold.[(triple3)] The cow is nice.[(triple4 OR ((triple1) -> rule4))] The cow is rough.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple4 triple3) -> rule6) OR ((((triple1) -> rule4) triple3) -> rule6) OR ((((triple3 triple4) -> rule2) triple3) -> rule3))]