The bear is big. The bear likes the cat. The cat is rough. The cat is round. The cat is young. The cat likes the tiger. The tiger likes the cat. If something is round then it likes the cat. If something sees the bear and it is rough then it likes the cat. If something chases the bear and it likes the tiger then the bear is big. If something likes the cat then it sees the cat. If something sees the bear then the bear sees the tiger. If something likes the bear then the bear does not see the tiger. If something likes the cat then it chases the cat. If the tiger does not see the cat then the cat is not big.
The bear does not see the tiger.
@0: The bear is big.[(triple1)] The bear likes the cat.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the tiger.[(triple6)] The tiger likes the cat.[(triple7)] @1: The bear chases the cat.[(((triple2) -> rule7))] The bear sees the cat.[(((triple2) -> rule4))] The cat likes the cat.[(((triple4) -> rule1))] The tiger chases the cat.[(((triple7) -> rule7))] The tiger sees the cat.[(((triple7) -> rule4))] @2: The cat chases the cat.[(((((triple4) -> rule1)) -> rule7))] The cat sees the cat.[(((((triple4) -> rule1)) -> rule4))]