The cat is blue. The cat is green. The cat is rough. The cat is round. The cat is young. If someone is young then they are blue. If someone is young then they are rough.
The cat is blue.
@0: The cat is blue.[(triple1 OR ((triple5) -> rule1))] The cat is green.[(triple2)] The cat is rough.[(triple3 OR ((triple5) -> rule2))] The cat is round.[(triple4)] The cat is young.[(triple5)]