The cat is cold. The cat is rough. The cat likes the lion. The cat sees the lion. The cat visits the lion. The lion is blue. The lion is cold. The lion is green. The lion is rough. The lion likes the cat. The lion sees the cat. The lion visits the cat. If something visits the cat then the cat likes the lion. If something visits the lion then it is nice. If something is rough then it likes the lion. If something sees the lion and the lion sees the cat then the cat is blue. If something likes the lion then it visits the lion. If the cat sees the lion then the lion likes the cat.
The cat likes the cat.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat likes the lion.[(triple3 OR ((triple12) -> rule1) OR ((triple2) -> rule3))] The cat sees the lion.[(triple4)] The cat visits the lion.[(triple5 OR ((triple3) -> rule5) OR ((((triple12) -> rule1)) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion likes the cat.[(triple10 OR ((triple4) -> rule6))] The lion sees the cat.[(triple11)] The lion visits the cat.[(triple12)] @1: The cat is blue.[(((triple4 triple11) -> rule4))] The cat is nice.[(((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((((triple12) -> rule1)) -> rule5)) -> rule2) OR ((((((triple2) -> rule3)) -> rule5)) -> rule2))] The lion likes the lion.[(((triple9) -> rule3))] @2: The lion visits the lion.[(((((triple9) -> rule3)) -> rule5))] @3: The lion is nice.[(((((((triple9) -> rule3)) -> rule5)) -> rule2))]