The cow eats the dog. The cow is blue. The dog chases the cow. The dog chases the tiger. The dog eats the cow. The dog sees the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is big. The tiger chases the rabbit. The tiger eats the cow. The tiger eats the rabbit. The tiger is big. The tiger is nice. The tiger sees the cow. If something chases the tiger then it sees the cow. If the dog sees the rabbit then the dog chases the tiger. If something chases the dog and the dog sees the tiger then it is kind. If the rabbit sees the dog then the rabbit sees the cow. If something sees the cow then it is nice. If something chases the cow and it eats the dog then the cow eats the dog. If something is nice and it sees the rabbit then the rabbit chases the tiger. If something is nice then it eats the dog. If something is nice and it chases the cow then the cow is nice.
The tiger is blue.
@0: The cow eats the dog.[(triple1 OR ((((((((triple4) -> rule1)) -> rule5) triple3) -> rule9)) -> rule8) OR ((triple3 ((((((triple4) -> rule1)) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple3) -> rule9)) -> rule8) OR ((triple3 ((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8)) -> rule6))] The cow is blue.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the tiger.[(triple4 OR ((triple6) -> rule2))] The dog eats the cow.[(triple5)] The dog sees the rabbit.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit eats the dog.[(triple8 OR ((((((((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((((((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1)) -> rule5)) -> rule8))] The rabbit eats the tiger.[(triple9)] The rabbit is big.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is big.[(triple14)] The tiger is nice.[(triple15 OR ((triple16) -> rule5))] The tiger sees the cow.[(triple16)] @1: The dog sees the cow.[(((triple4) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] The tiger eats the dog.[(((triple15) -> rule8) OR ((((triple16) -> rule5)) -> rule8))] @2: The dog is nice.[(((((triple4) -> rule1)) -> rule5) OR ((((((triple6) -> rule2)) -> rule1)) -> rule5))] @3: The cow is nice.[(((((((triple4) -> rule1)) -> rule5) triple3) -> rule9) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple3) -> rule9))] The dog eats the dog.[(((((((triple4) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8))] The rabbit chases the tiger.[(((((((triple4) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple6) -> rule7))] @4: The rabbit sees the cow.[(((((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1))] @5: The rabbit is nice.[(((((((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1)) -> rule5) OR ((((((((((((triple6) -> rule2)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule1)) -> rule5))]