The cat chases the rabbit. The cat is blue. The cat is rough. The cat is round. The rabbit chases the cat. The rabbit likes the cat. The rabbit needs the cat. If someone needs the cat then they are round. If the rabbit chases the cat then the cat likes the rabbit. If someone likes the rabbit then they chase the rabbit. All blue people are cold. If someone likes the rabbit then the rabbit is big. Round people are cold. If someone is big then they chase the rabbit. If the rabbit chases the cat then the cat likes the rabbit.
The rabbit is cold.
@0: The cat chases the rabbit.[(triple1 OR ((((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit needs the cat.[(triple7)] @1: The cat is cold.[(((triple2) -> rule4) OR ((triple4) -> rule6))] The cat likes the rabbit.[(((triple5) -> rule2) OR ((triple5) -> rule8))] The rabbit is round.[(((triple7) -> rule1))] @2: The rabbit is big.[(((((triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] The rabbit is cold.[(((((triple7) -> rule1)) -> rule6))] @3: The rabbit chases the rabbit.[(((((((triple5) -> rule2)) -> rule5)) -> rule7) OR ((((((triple5) -> rule8)) -> rule5)) -> rule7))]