The cat chases the tiger. The cat is kind. The cat likes the tiger. The cat needs the tiger. The tiger is blue. The tiger is nice. The tiger needs the cat. If someone likes the cat and the cat chases the tiger then the tiger chases the cat. If the tiger chases the cat then the cat is round. If someone is green and they like the tiger then the tiger is kind. If someone chases the tiger and the tiger needs the cat then the cat is nice. If someone needs the tiger and they chase the tiger then the tiger likes the cat. If the tiger chases the cat and the cat likes the tiger then the cat is green.
The cat is round.
@0: The cat chases the tiger.[(triple1)] The cat is kind.[(triple2)] The cat likes the tiger.[(triple3)] The cat needs the tiger.[(triple4)] The tiger is blue.[(triple5)] The tiger is nice.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat is nice.[(((triple1 triple7) -> rule4))] The tiger likes the cat.[(((triple4 triple1) -> rule5))] @2: The tiger chases the cat.[(((((triple4 triple1) -> rule5) triple1) -> rule1))] @3: The cat is green.[(((((((triple4 triple1) -> rule5) triple1) -> rule1) triple3) -> rule6))] The cat is round.[(((((((triple4 triple1) -> rule5) triple1) -> rule1)) -> rule2))] @4: The tiger is kind.[(((((((((triple4 triple1) -> rule5) triple1) -> rule1) triple3) -> rule6) triple3) -> rule3))]