The cow is blue. The cow is green. The cow is nice. The cow is red. The cow is round. All nice, blue people are green. All round, blue people are green. If someone is round then they are blue.
The cow is not red.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule3))] The cow is green.[(triple2 OR ((triple3 triple1) -> rule1) OR ((triple5 triple1) -> rule2) OR ((triple3 ((triple5) -> rule3)) -> rule1) OR ((triple5 ((triple5) -> rule3)) -> rule2))] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)]