The dog is cold. The dog is kind. The dog is red. The dog is rough. The dog is round. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the dog. If someone is red and rough then they like the dog. If someone is red and not kind then they need the dog. If someone is kind and they like the dog then they need the dog. If someone is kind and not red then they need the rabbit. If the dog likes the rabbit then the rabbit likes the dog. If someone sees the rabbit and they are not rough then they are cold. If someone is cold then they like the rabbit. If someone needs the dog then they see the dog.
The rabbit does not like the rabbit.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog likes the rabbit.[(triple6 OR ((triple1) -> rule7))] The dog needs the rabbit.[(triple7)] The dog sees the rabbit.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is red.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the dog.[(triple14 OR ((triple6) -> rule5) OR ((triple11 triple12) -> rule1) OR ((((triple1) -> rule7)) -> rule5))] The rabbit needs the dog.[(triple15 OR ((triple10 triple14) -> rule3) OR ((triple10 ((triple6) -> rule5)) -> rule3) OR ((triple10 ((triple11 triple12) -> rule1)) -> rule3) OR ((triple10 ((((triple1) -> rule7)) -> rule5)) -> rule3))] The rabbit sees the dog.[(triple16 OR ((triple15) -> rule8) OR ((((triple10 triple14) -> rule3)) -> rule8) OR ((((triple10 ((triple6) -> rule5)) -> rule3)) -> rule8) OR ((((triple10 ((triple11 triple12) -> rule1)) -> rule3)) -> rule8) OR ((((triple10 ((((triple1) -> rule7)) -> rule5)) -> rule3)) -> rule8))] @1: The dog likes the dog.[(((triple3 triple4) -> rule1))] The rabbit likes the rabbit.[(((triple9) -> rule7))] @2: The dog needs the dog.[(((triple2 ((triple3 triple4) -> rule1)) -> rule3))] @3: The dog sees the dog.[(((((triple2 ((triple3 triple4) -> rule1)) -> rule3)) -> rule8))]