The cat is big. The cat likes the tiger. The cat sees the tiger. The cat visits the tiger. The tiger is big. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is young. The tiger likes the cat. The tiger sees the cat. The tiger visits the cat. If someone sees the tiger then the tiger is young. If someone is blue then they like the cat. If someone visits the cat then the cat is blue. If someone sees the cat and the cat sees the tiger then they are young. If someone likes the cat then they are kind. If someone visits the cat and the cat likes the tiger then they are nice. If someone is kind and they visit the tiger then the tiger likes the cat. If someone likes the cat then they visit the cat.
The cat is not blue.
@0: The cat is big.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is kind.[(triple7 OR ((triple10) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((((((triple12) -> rule3)) -> rule2)) -> rule5) triple4) -> rule7)) -> rule5))] The tiger is nice.[(triple8 OR ((triple12 triple2) -> rule6) OR ((((triple10) -> rule8) triple2) -> rule6) OR ((((((triple6) -> rule2)) -> rule8) triple2) -> rule6))] The tiger is young.[(triple9 OR ((triple3) -> rule1) OR ((triple11 triple3) -> rule4))] The tiger likes the cat.[(triple10 OR ((triple6) -> rule2) OR ((((((((triple12) -> rule3)) -> rule2)) -> rule5) triple4) -> rule7))] The tiger sees the cat.[(triple11)] The tiger visits the cat.[(triple12 OR ((triple10) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] @1: The cat is blue.[(((triple12) -> rule3) OR ((((triple10) -> rule8)) -> rule3) OR ((((((triple6) -> rule2)) -> rule8)) -> rule3))] @2: The cat likes the cat.[(((((triple12) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule3)) -> rule2) OR ((((((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule2))] @3: The cat is kind.[(((((((triple12) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule2)) -> rule5))] The cat visits the cat.[(((((((triple12) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule2)) -> rule8))] @4: The cat is nice.[(((((((((triple12) -> rule3)) -> rule2)) -> rule8) triple2) -> rule6) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule2)) -> rule8) triple2) -> rule6) OR ((((((((((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule2)) -> rule8) triple2) -> rule6))]