The cat is big. The cat is cold. The cat is green. The cat is red. The cat likes the rabbit. The cat needs the rabbit. The cat sees the rabbit. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit likes the cat. The rabbit needs the cat. The rabbit sees the cat. If the rabbit is green then the rabbit needs the cat. If the rabbit is red then the rabbit is big. If something likes the rabbit then it sees the rabbit. Green things are young. If something is young then it needs the rabbit. If something is cold and it needs the rabbit then it likes the rabbit. If something needs the cat then the cat is young. If something likes the rabbit and it likes the cat then it sees the rabbit.
The rabbit sees the rabbit.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat likes the rabbit.[(triple5 OR ((triple2 triple6) -> rule6) OR ((triple2 ((((triple14) -> rule7)) -> rule5)) -> rule6) OR ((triple2 ((((triple3) -> rule4)) -> rule5)) -> rule6) OR ((triple2 ((((((triple10) -> rule1)) -> rule7)) -> rule5)) -> rule6))] The cat needs the rabbit.[(triple6 OR ((((triple14) -> rule7)) -> rule5) OR ((((triple3) -> rule4)) -> rule5) OR ((((((triple10) -> rule1)) -> rule7)) -> rule5))] The cat sees the rabbit.[(triple7 OR ((triple5) -> rule3) OR ((((triple2 triple6) -> rule6)) -> rule3) OR ((((triple2 ((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule3) OR ((((triple2 ((((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule3) OR ((((triple2 ((((((triple10) -> rule1)) -> rule7)) -> rule5)) -> rule6)) -> rule3))] The rabbit is big.[(triple8 OR ((triple11) -> rule2))] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] The rabbit is red.[(triple11)] The rabbit is young.[(triple12 OR ((triple10) -> rule4))] The rabbit likes the cat.[(triple13)] The rabbit needs the cat.[(triple14 OR ((triple10) -> rule1))] The rabbit sees the cat.[(triple15)] @1: The cat is young.[(((triple14) -> rule7) OR ((triple3) -> rule4) OR ((((triple10) -> rule1)) -> rule7))] The rabbit needs the rabbit.[(((triple12) -> rule5) OR ((((triple10) -> rule4)) -> rule5))] @2: The rabbit likes the rabbit.[(((triple9 ((triple12) -> rule5)) -> rule6) OR ((triple9 ((((triple10) -> rule4)) -> rule5)) -> rule6))] @3: The rabbit sees the rabbit.[(((((triple9 ((triple12) -> rule5)) -> rule6)) -> rule3) OR ((((triple9 ((triple12) -> rule5)) -> rule6) triple13) -> rule8) OR ((((triple9 ((((triple10) -> rule4)) -> rule5)) -> rule6)) -> rule3) OR ((((triple9 ((((triple10) -> rule4)) -> rule5)) -> rule6) triple13) -> rule8))]