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