The cat is big. The cat is green. The cat is young. The cat visits the cow. The cow chases the cat. The cow is big. The cow is kind. The cow is rough. The cow sees the cat. The cow visits the cat. If someone is young then they see the cat. If someone chases the cat and the cat chases the cow then they visit the cat. If someone chases the cat then they chase the cow. If someone is green and they visit the cat then the cat sees the cow. If the cat chases the cow and the cat visits the cow then the cat is rough. If someone sees the cat then they chase the cat. If the cat chases the cow and the cow chases the cat then the cat visits the cow. If the cat is green and the cat sees the cow then the cat visits the cow.
The cow sees the cow.
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is young.[(triple3)] The cat visits the cow.[(triple4 OR ((((((((triple3) -> rule1)) -> rule6)) -> rule3) triple5) -> rule7) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule3) ((triple9) -> rule6)) -> rule7) OR ((triple2 ((triple2 ((((((triple3) -> rule1)) -> rule6) ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule8))] The cow chases the cat.[(triple5 OR ((triple9) -> rule6))] The cow is big.[(triple6)] The cow is kind.[(triple7)] The cow is rough.[(triple8)] The cow sees the cat.[(triple9)] The cow visits the cat.[(triple10 OR ((triple5 ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2) OR ((((triple9) -> rule6) ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2))] @1: The cat sees the cat.[(((triple3) -> rule1))] The cow chases the cow.[(((triple5) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] @2: The cat chases the cat.[(((((triple3) -> rule1)) -> rule6))] @3: The cat chases the cow.[(((((((triple3) -> rule1)) -> rule6)) -> rule3))] @4: The cat is rough.[(((((((((triple3) -> rule1)) -> rule6)) -> rule3) triple4) -> rule5) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule3) ((((((((triple3) -> rule1)) -> rule6)) -> rule3) triple5) -> rule7)) -> rule5) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule3) ((((((((triple3) -> rule1)) -> rule6)) -> rule3) ((triple9) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule3) ((triple2 ((triple2 ((((((triple3) -> rule1)) -> rule6) ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2)) -> rule4)) -> rule8)) -> rule5))] The cat visits the cat.[(((((((triple3) -> rule1)) -> rule6) ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2))] @5: The cat sees the cow.[(((triple2 ((((((triple3) -> rule1)) -> rule6) ((((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2)) -> rule4))]