The cat is big. The cat is kind. The cat is rough. The cat is round. The cat is young. If the cat is round and the cat is young then the cat is big. If the cat is kind and the cat is big then the cat is round. If the cat is big and the cat is kind then the cat is round. If someone is kind and big then they are round. If the cat is round and the cat is not kind then the cat is young. If someone is round and young then they are big. If someone is big then they are young. If someone is big and not young then they are rough.
The cat is not rough.
@0: The cat is big.[(triple1 OR ((triple4 triple5) -> rule1) OR ((triple4 triple5) -> rule6))] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4 OR ((triple1 triple2) -> rule3) OR ((triple2 triple1) -> rule2) OR ((triple2 triple1) -> rule4))] The cat is young.[(triple5 OR ((triple1) -> rule7))]