The dog is big. The dog is blue. The dog is cold. The dog is rough. The dog is round. If someone is round then they are big. Round people are rough. If someone is cold and big then they are blue. All big people are round. If the dog is round then the dog is cold. If someone is big and blue then they are round. Big, cold people are blue. All round, cold people are big.
The dog eats the dog.
@0: The dog is big.[(triple1 OR ((triple5) -> rule1) OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple5) -> rule5)) -> rule8))] The dog is blue.[(triple2 OR ((triple1 triple3) -> rule7) OR ((triple3 triple1) -> rule3) OR ((triple1 ((triple5) -> rule5)) -> rule7) OR ((triple3 ((triple5) -> rule1)) -> rule3) OR ((triple3 ((triple5 triple3) -> rule8)) -> rule3) OR ((((triple5) -> rule1) triple3) -> rule7) OR ((((triple5) -> rule5) triple1) -> rule3) OR ((((triple5 triple3) -> rule8) triple3) -> rule7) OR ((((triple5) -> rule1) ((triple5) -> rule5)) -> rule7) OR ((((triple5) -> rule5) ((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule5) ((triple5 triple3) -> rule8)) -> rule3) OR ((((triple5 triple3) -> rule8) ((triple5) -> rule5)) -> rule7) OR ((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule7) OR ((triple3 ((triple5 ((triple5) -> rule5)) -> rule8)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) triple1) -> rule3) OR ((((triple5 ((triple5) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple5) -> rule1) ((((triple1) -> rule4)) -> rule5)) -> rule7) OR ((((triple5) -> rule5) ((triple5 ((triple5) -> rule5)) -> rule8)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((triple5) -> rule1)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((triple5 triple3) -> rule8)) -> rule3) OR ((((triple5 triple3) -> rule8) ((((triple1) -> rule4)) -> rule5)) -> rule7) OR ((((triple5 ((triple5) -> rule5)) -> rule8) ((triple5) -> rule5)) -> rule7) OR ((((((triple1) -> rule4)) -> rule5) ((triple5 ((triple5) -> rule5)) -> rule8)) -> rule3) OR ((((triple5 ((triple5) -> rule5)) -> rule8) ((((triple1) -> rule4)) -> rule5)) -> rule7))] The dog is cold.[(triple3 OR ((triple5) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1 triple2) -> rule6)) -> rule5))] The dog is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple1 triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple1 triple3) -> rule7)) -> rule6)) -> rule2) OR ((((triple1 ((triple3 triple1) -> rule3)) -> rule6)) -> rule2))] The dog is round.[(triple5 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple1 triple3) -> rule7)) -> rule6) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule6))]