The cat chases the cow. The cat is big. The cat is cold. The cat is green. The cat is red. The cat is rough. The cat needs the cow. The cat visits the cow. The cow chases the cat. The cow is big. The cow is cold. The cow is green. The cow is red. The cow is rough. The cow needs the cat. The cow visits the cat. If someone chases the cow and the cow visits the cat then they chase the cat. If someone is rough then they need the cow. If someone visits the cat and the cat chases the cow then the cow needs the cat. If someone is big and they chase the cat then they visit the cat. If the cow is rough and the cow chases the cat then the cat is green. If someone visits the cat and they are cold then they are green. If someone is cold then they visit the cow. If someone visits the cat then they need the cat.
The cat visits the cat.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4 OR ((triple14 triple9) -> rule5) OR ((((triple2 ((triple1 triple16) -> rule1)) -> rule4) triple3) -> rule6) OR ((((triple2 ((triple1 ((triple10 triple9) -> rule4)) -> rule1)) -> rule4) triple3) -> rule6))] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat needs the cow.[(triple7 OR ((triple6) -> rule2))] The cat visits the cow.[(triple8 OR ((triple3) -> rule7))] The cow chases the cat.[(triple9)] The cow is big.[(triple10)] The cow is cold.[(triple11)] The cow is green.[(triple12 OR ((triple16 triple11) -> rule6) OR ((((triple10 triple9) -> rule4) triple11) -> rule6))] The cow is red.[(triple13)] The cow is rough.[(triple14)] The cow needs the cat.[(triple15 OR ((triple16) -> rule8) OR ((triple16 triple1) -> rule3) OR ((((triple10 triple9) -> rule4)) -> rule8) OR ((((triple10 triple9) -> rule4) triple1) -> rule3) OR ((((triple2 ((triple1 triple16) -> rule1)) -> rule4) triple1) -> rule3) OR ((((triple2 ((triple1 ((triple10 triple9) -> rule4)) -> rule1)) -> rule4) triple1) -> rule3))] The cow visits the cat.[(triple16 OR ((triple10 triple9) -> rule4))] @1: The cat chases the cat.[(((triple1 triple16) -> rule1) OR ((triple1 ((triple10 triple9) -> rule4)) -> rule1))] The cow needs the cow.[(((triple14) -> rule2))] The cow visits the cow.[(((triple11) -> rule7))] @2: The cat visits the cat.[(((triple2 ((triple1 triple16) -> rule1)) -> rule4) OR ((triple2 ((triple1 ((triple10 triple9) -> rule4)) -> rule1)) -> rule4))] @3: The cat needs the cat.[(((((triple2 ((triple1 triple16) -> rule1)) -> rule4)) -> rule8) OR ((((triple2 ((triple1 ((triple10 triple9) -> rule4)) -> rule1)) -> rule4)) -> rule8))]