The cat is big. The cat is blue. The cat is red. The cat likes the lion. The cat sees the lion. The lion is round. The lion likes the cat. If something likes the lion and it sees the cat then the lion is red. If something is red then it sees the cat. If something needs the lion then it is red. If something is blue then it likes the lion. If something likes the lion and the lion needs the cat then the lion sees the cat. If the lion is not blue then the lion sees the cat. If something sees the cat then it needs the lion. If the lion is not red then the lion likes the cat.
The cat needs the lion.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3)] The cat likes the lion.[(triple4 OR ((triple2) -> rule4))] The cat sees the lion.[(triple5)] The lion is round.[(triple6)] The lion likes the cat.[(triple7)] @1: The cat sees the cat.[(((triple3) -> rule2))] @2: The cat needs the lion.[(((((triple3) -> rule2)) -> rule7))] The lion is red.[(((triple4 ((triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule4) ((triple3) -> rule2)) -> rule1))] @3: The lion sees the cat.[(((((triple4 ((triple3) -> rule2)) -> rule1)) -> rule2) OR ((((((triple2) -> rule4) ((triple3) -> rule2)) -> rule1)) -> rule2))] @4: The lion needs the lion.[(((((((triple4 ((triple3) -> rule2)) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule4) ((triple3) -> rule2)) -> rule1)) -> rule2)) -> rule7))]