The cat eats the rabbit. The cat is round. The cat likes the dog. The cat needs the dog. The dog eats the cat. The dog is big. The dog likes the cat. The dog likes the rabbit. The dog needs the mouse. The mouse eats the cat. The mouse needs the cat. The rabbit eats the cat. The rabbit is big. The rabbit is rough. The rabbit needs the cat. The rabbit needs the dog. If something likes the dog then the dog eats the cat. If the dog is rough then the dog eats the cat. If something eats the cat and the cat likes the rabbit then it is big. If something is kind then it likes the cat. If something likes the rabbit and the rabbit eats the cat then the cat is big. If the rabbit is big then the rabbit eats the cat. If something needs the cat then it is round. If something is big then it likes the rabbit. If something likes the rabbit then it is rough.
The dog does not eat the mouse.
@0: The cat eats the rabbit.[(triple1)] The cat is round.[(triple2)] The cat likes the dog.[(triple3)] The cat needs the dog.[(triple4)] The dog eats the cat.[(triple5 OR ((triple3) -> rule1) OR ((((triple8) -> rule9)) -> rule2) OR ((((((triple6) -> rule8)) -> rule9)) -> rule2))] The dog is big.[(triple6 OR ((triple5 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple5 ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple5 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple5 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3))] The dog likes the cat.[(triple7)] The dog likes the rabbit.[(triple8 OR ((triple6) -> rule8) OR ((((triple5 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple5 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((((triple3) -> rule1) ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((((triple3) -> rule1) ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8))] The dog needs the mouse.[(triple9)] The mouse eats the cat.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit eats the cat.[(triple12 OR ((triple13) -> rule6))] The rabbit is big.[(triple13 OR ((triple12 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple12 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3))] The rabbit is rough.[(triple14 OR ((((triple13) -> rule8)) -> rule9) OR ((((((triple12 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple12 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9))] The rabbit needs the cat.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The cat is big.[(((triple8 triple12) -> rule5) OR ((triple8 ((triple13) -> rule6)) -> rule5) OR ((((triple13) -> rule8) triple12) -> rule5) OR ((((triple6) -> rule8) triple12) -> rule5) OR ((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5) OR ((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5))] The dog is rough.[(((triple8) -> rule9) OR ((((triple6) -> rule8)) -> rule9) OR ((((((triple5 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple5 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((((triple3) -> rule1) ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((((triple3) -> rule1) ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9))] The mouse is round.[(((triple11) -> rule7))] The rabbit is round.[(((triple15) -> rule7))] The rabbit likes the rabbit.[(((triple13) -> rule8) OR ((((triple12 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple12 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8))] @2: The cat likes the rabbit.[(((((triple8 triple12) -> rule5)) -> rule8) OR ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8) OR ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8) OR ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8) OR ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8) OR ((((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8))] @3: The cat is rough.[(((((((triple8 triple12) -> rule5)) -> rule8)) -> rule9) OR ((((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule9) OR ((((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule9) OR ((((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule9) OR ((((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule9) OR ((((((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule9))] The mouse is big.[(((triple10 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple10 ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple10 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple10 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3) OR ((triple10 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple10 ((((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3))] @4: The mouse likes the rabbit.[(((((triple10 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple10 ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple10 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple10 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple10 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8) OR ((((triple10 ((((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8))] @5: The mouse is rough.[(((((((triple10 ((((triple8 triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple10 ((((triple8 ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple10 ((((((triple13) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple10 ((((((triple6) -> rule8) triple12) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple10 ((((((triple13) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9) OR ((((((triple10 ((((((triple6) -> rule8) ((triple13) -> rule6)) -> rule5)) -> rule8)) -> rule3)) -> rule8)) -> rule9))]