The cow is big. The cow is nice. The cow is not red. The cow is round. The cow is young. Young people are nice. If the cow is not red then the cow is big. If someone is big and not nice then they are round. If someone is big and not young then they are not round. If someone is young and red then they are round. Nice people are big. Young people are big. If someone is round and not red then they are big.
The cow is nice.
@0: The cow is big.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule2) OR ((triple5) -> rule7) OR ((triple4 triple3) -> rule8) OR ((((triple5) -> rule1)) -> rule6))] The cow is nice.[(triple2 OR ((triple5) -> rule1))] The cow is not red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]