The cat is blue. The cat is kind. The cat is nice. The cat is rough. The cat is round. The cat likes the lion. The cat needs the lion. The cat sees the lion. The lion is blue. The lion is not kind. The lion is nice. The lion is rough. The lion is round. The lion likes the cat. The lion needs the cat. The lion does not see the cat. If something sees the cat and it is kind then the cat is blue. If something likes the lion and it sees the cat then it likes the cat. If the cat needs the lion and the lion is not rough then the lion is not kind. If something is kind and it needs the cat then it is nice. If something likes the cat and it is nice then it likes the lion. If something needs the lion then it sees the cat.
The cat needs the cat.
@0: The cat is blue.[(triple1 OR ((((triple7) -> rule6) triple2) -> rule1))] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the lion.[(triple6)] The cat needs the lion.[(triple7)] The cat sees the lion.[(triple8)] The lion does not see the cat.[(triple16)] The lion is blue.[(triple9)] The lion is nice.[(triple11)] The lion is not kind.[(triple10)] The lion is rough.[(triple12)] The lion is round.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the cat.[(triple15)] @1: The cat sees the cat.[(((triple7) -> rule6))] The lion likes the lion.[(((triple14 triple11) -> rule5))] @2: The cat likes the cat.[(((triple6 ((triple7) -> rule6)) -> rule2))]