The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat is red. The cat likes the cow. The cat needs the cow. The cat sees the cow. The cow is blue. The cow is green. The cow is nice. The cow is red. The cow likes the cat. The cow needs the cat. The cow sees the cat. If the cow is green then the cow needs the cat. If someone sees the cat and they see the cow then they need the cat. If the cat is blue and the cat is red then the cat likes the cow. If someone likes the cat then the cat is kind. If someone likes the cow then they like the cat. If the cow is blue then the cow needs the cat. If someone likes the cat then they see the cat. If someone is nice and they see the cat then they are red.
The cow is not kind.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple13) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple1 triple5) -> rule3)) -> rule5)) -> rule4))] The cat is nice.[(triple4)] The cat is red.[(triple5 OR ((triple4 ((((triple6) -> rule5)) -> rule7)) -> rule8))] The cat likes the cow.[(triple6 OR ((triple1 triple5) -> rule3))] The cat needs the cow.[(triple7)] The cat sees the cow.[(triple8)] The cow is blue.[(triple9)] The cow is green.[(triple10)] The cow is nice.[(triple11)] The cow is red.[(triple12 OR ((triple11 triple15) -> rule8) OR ((triple11 ((triple13) -> rule7)) -> rule8))] The cow likes the cat.[(triple13)] The cow needs the cat.[(triple14 OR ((triple10) -> rule1) OR ((triple9) -> rule6))] The cow sees the cat.[(triple15 OR ((triple13) -> rule7))] @1: The cat likes the cat.[(((triple6) -> rule5) OR ((((triple1 triple5) -> rule3)) -> rule5))] @2: The cat sees the cat.[(((((triple6) -> rule5)) -> rule7) OR ((((((triple1 triple5) -> rule3)) -> rule5)) -> rule7))] @3: The cat needs the cat.[(((((((triple6) -> rule5)) -> rule7) triple8) -> rule2) OR ((((((((triple1 triple5) -> rule3)) -> rule5)) -> rule7) triple8) -> rule2))]