The cat is not red. The cat needs the rabbit. The cat visits the tiger. The rabbit chases the cat. The rabbit chases the tiger. The rabbit is big. The rabbit is red. The rabbit needs the cat. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger chases the rabbit. The tiger is green. The tiger is rough. The tiger visits the rabbit. If someone visits the rabbit and the rabbit visits the cat then the rabbit needs the cat. If someone visits the rabbit then they are not blue. If someone chases the cat and they visit the rabbit then the rabbit is green. If someone visits the tiger and the tiger does not chase the rabbit then the tiger visits the cat. If the cat chases the tiger then the cat is big. If someone is blue and they visit the tiger then the tiger needs the cat. If someone needs the cat and the cat visits the tiger then they are red. If someone needs the rabbit then the rabbit is blue.
The rabbit is blue.
@0: The cat is not red.[(triple1)] The cat needs the rabbit.[(triple2)] The cat visits the tiger.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit is red.[(triple7 OR ((triple8 triple3) -> rule7) OR ((((triple15 triple10) -> rule1) triple3) -> rule7))] The rabbit needs the cat.[(triple8 OR ((triple15 triple10) -> rule1))] The rabbit needs the tiger.[(triple9)] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit is blue.[(((triple2) -> rule8))] The tiger is not blue.[(((triple15) -> rule2))] @2: The tiger needs the cat.[(((((triple2) -> rule8) triple11) -> rule6))] @3: The tiger is red.[(((((((triple2) -> rule8) triple11) -> rule6) triple3) -> rule7))]