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