The cat is big. The cat is cold. The cat is kind. The cat is nice. The cat is rough. If the cat is rough and the cat is nice then the cat is big. If the cat is nice and the cat is rough then the cat is kind. If someone is cold and big then they are kind. If someone is kind then they are nice. If someone is big then they are rough. All big, nice people are rough.
The cat is cold.
@0: The cat is big.[(triple1 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple3) -> rule4)) -> rule1))] The cat is cold.[(triple2)] The cat is kind.[(triple3 OR ((triple2 triple1) -> rule3) OR ((triple4 triple5) -> rule2) OR ((triple2 ((triple5 triple4) -> rule1)) -> rule3) OR ((triple4 ((triple1) -> rule5)) -> rule2) OR ((triple4 ((triple1 triple4) -> rule6)) -> rule2))] The cat is nice.[(triple4 OR ((triple3) -> rule4) OR ((((triple2 triple1) -> rule3)) -> rule4))] The cat is rough.[(triple5 OR ((triple1) -> rule5) OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple3) -> rule4)) -> rule6) OR ((triple1 ((((triple2 triple1) -> rule3)) -> rule4)) -> rule6))]