The dog is round. The dog needs the tiger. The lion chases the dog. The lion chases the mouse. The lion needs the dog. The lion sees the dog. The mouse is red. The mouse sees the tiger. The tiger is blue. The tiger is red. The tiger is round. The tiger sees the lion. If something chases the mouse and it is round then the mouse is kind. If the mouse sees the tiger and the tiger is red then the tiger is kind. If something chases the mouse then it sees the mouse. If something chases the lion and the lion sees the tiger then the tiger chases the lion. If something is round then it needs the tiger. If something chases the dog then it is round. If something is round then it sees the lion. If something is kind then it chases the dog. If something needs the lion then it is round.
The mouse is rough.
@0: The dog is round.[(triple1)] The dog needs the tiger.[(triple2 OR ((triple1) -> rule5))] The lion chases the dog.[(triple3)] The lion chases the mouse.[(triple4)] The lion needs the dog.[(triple5)] The lion sees the dog.[(triple6)] The mouse is red.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11 OR ((((((triple8 triple10) -> rule2)) -> rule8)) -> rule6))] The tiger sees the lion.[(triple12 OR ((triple11) -> rule7) OR ((((((((triple8 triple10) -> rule2)) -> rule8)) -> rule6)) -> rule7))] @1: The dog sees the lion.[(((triple1) -> rule7))] The lion is round.[(((triple3) -> rule6))] The lion sees the mouse.[(((triple4) -> rule3))] The tiger is kind.[(((triple8 triple10) -> rule2))] The tiger needs the tiger.[(((triple11) -> rule5) OR ((((((((triple8 triple10) -> rule2)) -> rule8)) -> rule6)) -> rule5))] @2: The lion needs the tiger.[(((((triple3) -> rule6)) -> rule5))] The lion sees the lion.[(((((triple3) -> rule6)) -> rule7))] The mouse is kind.[(((triple4 ((triple3) -> rule6)) -> rule1))] The tiger chases the dog.[(((((triple8 triple10) -> rule2)) -> rule8))] @3: The mouse chases the dog.[(((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule8))] @4: The mouse is round.[(((((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule6))] @5: The mouse needs the tiger.[(((((((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule6)) -> rule5))] The mouse sees the lion.[(((((((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule6)) -> rule7))]