The cow is big. The cow is kind. The cow is not nice. The cow is red. The cow is round. All kind, big things are round. Red things are big. All nice, kind things are not big. If something is nice and red then it is big. Big things are not nice. If something is round and not kind then it is nice. If something is kind then it is not nice. If the cow is round then the cow is not nice.
The cow chases the cow.
@0: The cow is big.[(triple1 OR ((triple4) -> rule2))] The cow is kind.[(triple2)] The cow is not nice.[(triple3 OR ((triple1) -> rule5) OR ((triple2) -> rule7) OR ((triple5) -> rule8) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule1)) -> rule8) OR ((((triple2 ((triple4) -> rule2)) -> rule1)) -> rule8))] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple4) -> rule2)) -> rule1))]