The cat needs the dog. The dog is kind. The dog needs the rabbit. The rabbit eats the dog. The rabbit is green. The tiger chases the rabbit. The tiger is big. If something is nice and it eats the tiger then it needs the dog. If something chases the cat then it eats the cat. If the dog chases the tiger then the tiger needs the rabbit. If the rabbit chases the tiger then the rabbit chases the cat. If something chases the cat then the cat is kind. If something eats the dog then it chases the cat. If something is rough then it eats the dog. If something is kind then it is rough. If something eats the rabbit and the rabbit is big then it is kind.
The rabbit chases the cat.
@0: The cat needs the dog.[(triple1)] The dog is kind.[(triple2)] The dog needs the rabbit.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit is green.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger is big.[(triple7)] @1: The dog is rough.[(((triple2) -> rule8))] The rabbit chases the cat.[(((triple4) -> rule6))] @2: The cat is kind.[(((((triple4) -> rule6)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule5))] The dog eats the dog.[(((((triple2) -> rule8)) -> rule7))] The rabbit eats the cat.[(((((triple4) -> rule6)) -> rule2))] @3: The cat is rough.[(((((((triple4) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule5)) -> rule8))] The dog chases the cat.[(((((((triple2) -> rule8)) -> rule7)) -> rule6))] @4: The cat eats the dog.[(((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) OR ((((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule7))] The dog eats the cat.[(((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule2))] @5: The cat chases the cat.[(((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule6) OR ((((((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule6))] @6: The cat eats the cat.[(((((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2) OR ((((((((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule2))]