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