The cat is rough. The cat sees the rabbit. The mouse eats the cat. The mouse eats the squirrel. The mouse is kind. The mouse visits the cat. The mouse visits the rabbit. The rabbit eats the cat. The rabbit eats the mouse. The rabbit sees the cat. The squirrel is round. The squirrel sees the rabbit. If something sees the squirrel then it is kind. If something visits the mouse then the mouse sees the squirrel. If something eats the cat then the cat visits the squirrel. If something is blue then it sees the squirrel. If something is kind then it visits the rabbit. If something is rough then it sees the cat. If something is rough and it sees the cat then the cat is blue. If something visits the rabbit and it sees the squirrel then the squirrel is rough. If something eats the mouse then it is rough.
The mouse does not see the cat.
@0: The cat is rough.[(triple1)] The cat sees the rabbit.[(triple2)] The mouse eats the cat.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is kind.[(triple5)] The mouse visits the cat.[(triple6)] The mouse visits the rabbit.[(triple7 OR ((triple5) -> rule5))] The rabbit eats the cat.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit sees the cat.[(triple10 OR ((((triple9) -> rule9)) -> rule6))] The squirrel is round.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The cat sees the cat.[(((triple1) -> rule6))] The cat visits the squirrel.[(((triple3) -> rule3) OR ((triple8) -> rule3))] The rabbit is rough.[(((triple9) -> rule9))] @2: The cat is blue.[(((triple1 ((triple1) -> rule6)) -> rule7) OR ((((triple9) -> rule9) triple10) -> rule7) OR ((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7))] @3: The cat sees the squirrel.[(((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4) OR ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4))] @4: The cat is kind.[(((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1))] @5: The cat visits the rabbit.[(((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5))] @6: The squirrel is rough.[(((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8) OR ((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8) OR ((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8))] @7: The squirrel sees the cat.[(((((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5) ((((((triple9) -> rule9) ((((triple9) -> rule9)) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule6))]