The bear is green. The bear is kind. The bear is round. The bear needs the cat. The bear visits the cat. The cat needs the rabbit. The cat sees the bear. The cat visits the mouse. The mouse is green. The mouse needs the cat. The mouse visits the bear. The rabbit sees the mouse. Green things are nice. If something is nice and it sees the rabbit then it is kind. If something sees the cat then it needs the rabbit. If something visits the cat then the cat needs the rabbit. If something is nice and it visits the rabbit then it visits the mouse. Kind things are blue. If something needs the cat and it needs the bear then it is round. If something is nice then it sees the cat.
The bear does not visit the mouse.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear needs the cat.[(triple4)] The bear visits the cat.[(triple5)] The cat needs the rabbit.[(triple6 OR ((triple5) -> rule4))] The cat sees the bear.[(triple7)] The cat visits the mouse.[(triple8)] The mouse is green.[(triple9)] The mouse needs the cat.[(triple10)] The mouse visits the bear.[(triple11)] The rabbit sees the mouse.[(triple12)] @1: The bear is blue.[(((triple2) -> rule6))] The bear is nice.[(((triple1) -> rule1))] The mouse is nice.[(((triple9) -> rule1))] @2: The bear sees the cat.[(((((triple1) -> rule1)) -> rule8))] The mouse sees the cat.[(((((triple9) -> rule1)) -> rule8))] @3: The bear needs the rabbit.[(((((((triple1) -> rule1)) -> rule8)) -> rule3))] The mouse needs the rabbit.[(((((((triple9) -> rule1)) -> rule8)) -> rule3))]