The bear likes the cow. The cat is blue. The cat is red. The cat is young. The cat needs the cow. The cat needs the rabbit. The cat sees the bear. The cow is big. The cow likes the bear. The cow likes the cat. The cow likes the rabbit. The cow needs the cat. The cow needs the rabbit. The rabbit is blue. The rabbit needs the cow. The rabbit sees the cat. If the cow sees the bear and the cow is red then the bear is blue. If something likes the cow then it likes the cat. If something sees the cow and the cow needs the cat then it is blue. If something sees the cow then the cow sees the bear. If something needs the cow and it sees the bear then it is round. If something needs the bear then the bear is young. If something sees the bear then it sees the cow. If something likes the cow then it sees the bear. If something is blue and it needs the cat then it sees the cat.
The bear likes the cat.
@0: The bear likes the cow.[(triple1)] The cat is blue.[(triple2 OR ((((triple7) -> rule7) triple12) -> rule3))] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the bear.[(triple7)] The cow is big.[(triple8)] The cow likes the bear.[(triple9)] The cow likes the cat.[(triple10)] The cow likes the rabbit.[(triple11)] The cow needs the cat.[(triple12)] The cow needs the rabbit.[(triple13)] The rabbit is blue.[(triple14)] The rabbit needs the cow.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bear likes the cat.[(((triple1) -> rule2))] The bear sees the bear.[(((triple1) -> rule8))] The cat is round.[(((triple5 triple7) -> rule5))] The cat sees the cow.[(((triple7) -> rule7))] @2: The bear sees the cow.[(((((triple1) -> rule8)) -> rule7))] The cow sees the bear.[(((((triple7) -> rule7)) -> rule4) OR ((((((triple1) -> rule8)) -> rule7)) -> rule4))] @3: The bear is blue.[(((((((triple1) -> rule8)) -> rule7) triple12) -> rule3))] The cow sees the cow.[(((((((triple7) -> rule7)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule4)) -> rule7))] @4: The cow is blue.[(((((((((triple7) -> rule7)) -> rule4)) -> rule7) triple12) -> rule3) OR ((((((((((triple1) -> rule8)) -> rule7)) -> rule4)) -> rule7) triple12) -> rule3))] @5: The cow sees the cat.[(((((((((((triple7) -> rule7)) -> rule4)) -> rule7) triple12) -> rule3) triple12) -> rule9) OR ((((((((((((triple1) -> rule8)) -> rule7)) -> rule4)) -> rule7) triple12) -> rule3) triple12) -> rule9))]