The bear is green. The bear needs the cat. The bear needs the rabbit. The bear visits the rabbit. The cat is blue. The cat is kind. The cat is round. The cat is young. The cat needs the bear. The cat sees the bear. The cat sees the rabbit. The cat visits the rabbit. The rabbit needs the bear. The rabbit visits the bear. The rabbit visits the cat. If something is blue and young then it sees the rabbit. If something visits the rabbit and it is young then the rabbit is round. If something sees the rabbit and the rabbit needs the bear then the bear needs the cat. If something visits the rabbit then it is blue. If something is round and kind then it sees the rabbit. If something is kind and it visits the bear then it sees the cat. If something is young and it needs the cat then the cat needs the rabbit. If something needs the bear then it sees the cat.
The rabbit is young.
@0: The bear is green.[(triple1)] The bear needs the cat.[(triple2 OR ((triple11 triple13) -> rule3) OR ((((triple5 triple8) -> rule1) triple13) -> rule3) OR ((((triple7 triple6) -> rule5) triple13) -> rule3) OR ((((((triple12) -> rule4) triple8) -> rule1) triple13) -> rule3))] The bear needs the rabbit.[(triple3)] The bear visits the rabbit.[(triple4)] The cat is blue.[(triple5 OR ((triple12) -> rule4))] The cat is kind.[(triple6)] The cat is round.[(triple7)] The cat is young.[(triple8)] The cat needs the bear.[(triple9)] The cat sees the bear.[(triple10)] The cat sees the rabbit.[(triple11 OR ((triple5 triple8) -> rule1) OR ((triple7 triple6) -> rule5) OR ((((triple12) -> rule4) triple8) -> rule1))] The cat visits the rabbit.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit visits the bear.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bear is blue.[(((triple4) -> rule4))] The cat sees the cat.[(((triple9) -> rule8))] The rabbit is round.[(((triple12 triple8) -> rule2))] The rabbit sees the cat.[(((triple13) -> rule8))]