The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is rough. If something is big then it is cold. Rough, cold things are green. If the cat is big then the cat is rough.
The cat needs the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2 OR ((triple1) -> rule1))] The cat is green.[(triple3 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule3) triple2) -> rule2) OR ((((triple1) -> rule3) ((triple1) -> rule1)) -> rule2))] The cat is kind.[(triple4)] The cat is rough.[(triple5 OR ((triple1) -> rule3))]