The cat likes the tiger. The cat sees the tiger. The tiger chases the cat. The tiger is kind. The tiger is red. The tiger is rough. The tiger sees the cat. If something is rough and it likes the tiger then it sees the cat. If something sees the tiger then the tiger likes the cat. If something likes the cat and it chases the cat then the cat chases the tiger. If the tiger is young then the tiger sees the cat. If something chases the tiger and the tiger sees the cat then the cat is rough. If something likes the tiger and the tiger is young then the tiger sees the cat.
The cat is big.
@0: The cat likes the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The tiger chases the cat.[(triple3)] The tiger is kind.[(triple4)] The tiger is red.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the cat.[(triple7)] @1: The tiger likes the cat.[(((triple2) -> rule2))] @2: The cat chases the tiger.[(((((triple2) -> rule2) triple3) -> rule3))] @3: The cat is rough.[(((((((triple2) -> rule2) triple3) -> rule3) triple7) -> rule5))] @4: The cat sees the cat.[(((((((((triple2) -> rule2) triple3) -> rule3) triple7) -> rule5) triple1) -> rule1))]