The cat is big. The cat is blue. The cat is not cold. The cat is nice. The cat is rough. If the cat is nice and the cat is big then the cat is blue. If the cat is not big then the cat is not cold. If someone is blue and not big then they are rough. If someone is nice and not big then they are not rough. All rough people are blue. If someone is big and not nice then they are not blue. If someone is nice and not blue then they are cold. All rough, blue people are not cold.
The cat chases the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple5) -> rule5) OR ((triple4 triple1) -> rule1))] The cat is nice.[(triple4)] The cat is not cold.[(triple3 OR ((triple5 triple2) -> rule8) OR ((triple5 ((triple5) -> rule5)) -> rule8) OR ((triple5 ((triple4 triple1) -> rule1)) -> rule8))] The cat is rough.[(triple5)]