The cow is blue. The cow sees the rabbit. The cow visits the tiger. The rabbit is nice. The rabbit needs the cow. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is nice. The tiger needs the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If someone sees the tiger then they visit the tiger. If someone visits the rabbit then the rabbit is big. If someone visits the cow and the cow visits the tiger then they are blue. If someone is big then they visit the cow. If someone is blue and they visit the rabbit then the rabbit is cold. If someone sees the cow then the cow sees the rabbit.
The cow is cold.
@0: The cow is blue.[(triple1)] The cow sees the rabbit.[(triple2)] The cow visits the tiger.[(triple3)] The rabbit is nice.[(triple4)] The rabbit needs the cow.[(triple5)] The rabbit sees the tiger.[(triple6)] The rabbit visits the tiger.[(triple7 OR ((triple6) -> rule1))] The tiger is big.[(triple8)] The tiger is blue.[(triple9 OR ((((triple8) -> rule4) triple3) -> rule3))] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit is big.[(((triple15) -> rule2))] The rabbit is cold.[(((triple9 triple15) -> rule5) OR ((((((triple8) -> rule4) triple3) -> rule3) triple15) -> rule5))] The tiger visits the cow.[(((triple8) -> rule4))] @2: The rabbit visits the cow.[(((((triple15) -> rule2)) -> rule4))] @3: The rabbit is blue.[(((((((triple15) -> rule2)) -> rule4) triple3) -> rule3))]