The cow is not big. The cow is blue. The cow is nice. The cow is rough. The cow is young. All young, rough things are nice. All young things are blue. If something is big and young then it is blue. Young, nice things are blue. All big things are rough. Big things are not rough. If the cow is big then the cow is nice. If something is blue then it is not big.
The cow likes the cow.
@0: The cow is blue.[(triple2 OR ((triple5) -> rule2) OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule4))] The cow is nice.[(triple3 OR ((triple5 triple4) -> rule1))] The cow is not big.[(triple1 OR ((triple2) -> rule8) OR ((((triple5) -> rule2)) -> rule8) OR ((((triple5 triple3) -> rule4)) -> rule8) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule4)) -> rule8))] The cow is rough.[(triple4)] The cow is young.[(triple5)]