The cat is big. The cat is cold. The cat is green. The cat is nice. The cat is young. If something is young and cold then it is nice. All nice things are big.
The cat is big.
@0: The cat is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple5 triple2) -> rule1)) -> rule2))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4 OR ((triple5 triple2) -> rule1))] The cat is young.[(triple5)]