The cat is not big. The cat is kind. The cat is nice. The cat is not rough. The cat is young. All big things are rough. All big things are rough. If the cat is rough then the cat is not young. If something is rough then it is not big. If something is rough and not big then it is young. All young, big things are kind. Nice things are kind. Young things are nice.
The cat is not rough.
@0: The cat is kind.[(triple2 OR ((triple3) -> rule7) OR ((((triple5) -> rule8)) -> rule7))] The cat is nice.[(triple3 OR ((triple5) -> rule8))] The cat is not big.[(triple1)] The cat is not rough.[(triple4)] The cat is young.[(triple5)]