The cat chases the tiger. The cat is not kind. The cat likes the tiger. The dog is kind. The dog likes the lion. The lion chases the dog. The lion is cold. The lion is green. The lion is round. The lion sees the cat. The lion sees the tiger. The tiger chases the dog. The tiger is green. The tiger likes the dog. The tiger sees the dog. If someone is kind and they like the dog then the dog is round. If someone is green then they chase the tiger. If someone chases the dog and they see the tiger then the tiger sees the lion. If someone sees the tiger and they see the dog then the tiger is kind. If someone sees the tiger then the tiger likes the dog. If someone is cold then they see the dog.
The tiger chases the cat.
@0: The cat chases the tiger.[(triple1)] The cat is not kind.[(triple2)] The cat likes the tiger.[(triple3)] The dog is kind.[(triple4)] The dog likes the lion.[(triple5)] The lion chases the dog.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion is round.[(triple9)] The lion sees the cat.[(triple10)] The lion sees the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14 OR ((triple11) -> rule5))] The tiger sees the dog.[(triple15)] @1: The lion chases the tiger.[(((triple8) -> rule2))] The lion sees the dog.[(((triple7) -> rule6))] The tiger chases the tiger.[(((triple13) -> rule2))] The tiger sees the lion.[(((triple6 triple11) -> rule3))] @2: The tiger is kind.[(((triple11 ((triple7) -> rule6)) -> rule4))] @3: The dog is round.[(((((triple11 ((triple7) -> rule6)) -> rule4) triple14) -> rule1) OR ((((triple11 ((triple7) -> rule6)) -> rule4) ((triple11) -> rule5)) -> rule1))]