The bear eats the cat. The cat is nice. The rabbit eats the cat. The tiger eats the cat. If something eats the rabbit then it is rough. If something chases the tiger and it sees the rabbit then the rabbit is blue. If something is cold and it sees the cat then the cat eats the rabbit. If something eats the cat then the cat sees the tiger. If something chases the rabbit then it eats the rabbit. If something sees the tiger then the tiger chases the rabbit. If something sees the cat and the cat eats the bear then it is big. If the rabbit sees the cat and the cat sees the bear then the cat chases the tiger.
The tiger does not eat the rabbit.
@0: The bear eats the cat.[(triple1)] The cat is nice.[(triple2)] The rabbit eats the cat.[(triple3)] The tiger eats the cat.[(triple4)] @1: The cat sees the tiger.[(((triple1) -> rule4) OR ((triple3) -> rule4) OR ((triple4) -> rule4))] @2: The tiger chases the rabbit.[(((((triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] @3: The tiger eats the rabbit.[(((((((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6)) -> rule5))] @4: The tiger is rough.[(((((((((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule6)) -> rule5)) -> rule1))]