The dog is green. The dog is nice. The dog is rough. Nice people are round. If someone is green and blue then they are nice. Round people are rough. If the dog is blue then the dog is rough. All blue people are green. If the dog is nice then the dog is rough. All green people are round. All round people are blue.
The dog likes the dog.
@0: The dog is green.[(triple1 OR ((((((triple2) -> rule1)) -> rule8)) -> rule5))] The dog is nice.[(triple2 OR ((triple1 ((((triple1) -> rule7)) -> rule8)) -> rule2))] The dog is rough.[(triple3 OR ((triple2) -> rule6) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule7)) -> rule8)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple1 ((((triple1) -> rule7)) -> rule8)) -> rule2)) -> rule6))] @1: The dog is round.[(((triple1) -> rule7) OR ((triple2) -> rule1))] @2: The dog is blue.[(((((triple1) -> rule7)) -> rule8) OR ((((triple2) -> rule1)) -> rule8))]