The cat eats the lion. The cat is blue. The cat is not cold. The cat is red. The cat is round. The cat sees the lion. The lion eats the cat. The lion is blue. The lion is cold. The lion does not need the cat. If someone eats the cat and the cat eats the lion then the cat is not rough. If someone eats the cat and the cat sees the lion then the cat needs the lion. If the lion is cold and the lion is rough then the lion sees the cat. If the cat needs the lion then the lion sees the cat. If someone is red and blue then they eat the cat. If someone sees the lion and the lion is not blue then the lion does not need the cat. If the cat sees the lion then the lion is red. If someone is red and they see the cat then they eat the lion.
The lion does not need the lion.
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat is not cold.[(triple3)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat sees the lion.[(triple6)] The lion does not need the cat.[(triple10)] The lion eats the cat.[(triple7 OR ((((triple6) -> rule7) triple8) -> rule5))] The lion is blue.[(triple8)] The lion is cold.[(triple9)] @1: The cat eats the cat.[(((triple4 triple2) -> rule5))] The cat is not rough.[(((triple7 triple1) -> rule1) OR ((((triple4 triple2) -> rule5) triple1) -> rule1) OR ((((((triple6) -> rule7) triple8) -> rule5) triple1) -> rule1))] The cat needs the lion.[(((triple7 triple6) -> rule2) OR ((((triple4 triple2) -> rule5) triple6) -> rule2) OR ((((((triple6) -> rule7) triple8) -> rule5) triple6) -> rule2))] The lion is red.[(((triple6) -> rule7))] @2: The lion sees the cat.[(((((triple7 triple6) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule5) triple6) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple8) -> rule5) triple6) -> rule2)) -> rule4))] @3: The lion eats the lion.[(((((triple6) -> rule7) ((((triple7 triple6) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule7) ((((((triple4 triple2) -> rule5) triple6) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule7) ((((((((triple6) -> rule7) triple8) -> rule5) triple6) -> rule2)) -> rule4)) -> rule8))]