The cat chases the lion. The cat is green. The cat is kind. The cat needs the lion. The lion chases the cat. The lion needs the cat. The lion sees the cat. If something is rough and young then it chases the lion. If something sees the cat then the cat is green. If the lion sees the cat and the cat chases the lion then the cat sees the lion. If the lion chases the cat and the cat sees the lion then the lion needs the cat. If something is young and it chases the lion then it is green. If something sees the cat then the cat needs the lion.
The lion is cold.
@0: The cat chases the lion.[(triple1)] The cat is green.[(triple2 OR ((triple7) -> rule2))] The cat is kind.[(triple3)] The cat needs the lion.[(triple4 OR ((triple7) -> rule6))] The lion chases the cat.[(triple5)] The lion needs the cat.[(triple6 OR ((triple5 ((triple7 triple1) -> rule3)) -> rule4))] The lion sees the cat.[(triple7)] @1: The cat sees the lion.[(((triple7 triple1) -> rule3))]