The cat likes the dog. The cat likes the lion. The cat needs the lion. The cat sees the dog. The cat sees the lion. The dog needs the lion. The lion needs the cat. If something sees the dog then the dog needs the cat. If something needs the cat then the cat is round. All rough things are red. If something likes the dog then it is rough. If something is cold and it sees the lion then the lion needs the dog. If something sees the lion then the lion likes the dog. If something sees the cat and the cat sees the lion then it is rough. If the dog is kind and the dog is rough then the dog is round.
The cat does not see the cat.
@0: The cat likes the dog.[(triple1)] The cat likes the lion.[(triple2)] The cat needs the lion.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the lion.[(triple5)] The dog needs the lion.[(triple6)] The lion needs the cat.[(triple7)] @1: The cat is rough.[(((triple1) -> rule4))] The cat is round.[(((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The dog needs the cat.[(((triple4) -> rule1))] The lion likes the dog.[(((triple5) -> rule6))] @2: The cat is red.[(((((triple1) -> rule4)) -> rule3))] The lion is rough.[(((((triple5) -> rule6)) -> rule4))] @3: The lion is red.[(((((((triple5) -> rule6)) -> rule4)) -> rule3))]