The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog is rough. If someone is nice then they are blue. If the dog is red and the dog is cold then the dog is nice. If someone is red then they are cold. If someone is blue then they are cold. Rough people are nice. If someone is rough then they are nice. Nice, blue people are red. If the dog is cold then the dog is rough.
The dog does not need the dog.
@0: The dog is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple4 triple2) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5)) -> rule1) OR ((((((triple2) -> rule8)) -> rule6)) -> rule1) OR ((((triple4 ((triple4) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple4) -> rule3)) -> rule8)) -> rule6)) -> rule1))] The dog is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple3 triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule5)) -> rule1)) -> rule4) OR ((((((triple5) -> rule6)) -> rule1)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule5) triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule6) triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule5) ((triple3) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule6) ((triple3) -> rule1)) -> rule7)) -> rule3) OR ((((triple3 ((((triple5) -> rule5)) -> rule1)) -> rule7)) -> rule3) OR ((((triple3 ((((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule5) ((((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3))] The dog is nice.[(triple3 OR ((triple5) -> rule5) OR ((triple5) -> rule6) OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule8)) -> rule5) OR ((((triple2) -> rule8)) -> rule6) OR ((triple4 ((triple1) -> rule4)) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2) OR ((((((triple1) -> rule4)) -> rule8)) -> rule5) OR ((((((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4) -> rule3)) -> rule8)) -> rule5) OR ((((((triple4) -> rule3)) -> rule8)) -> rule6))] The dog is red.[(triple4 OR ((triple3 triple1) -> rule7) OR ((triple3 ((triple3) -> rule1)) -> rule7) OR ((((triple5) -> rule5) triple1) -> rule7) OR ((((triple5) -> rule6) triple1) -> rule7) OR ((((triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((triple3) -> rule1)) -> rule7) OR ((triple3 ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((triple3 ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) triple1) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) triple1) -> rule7) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((triple5) -> rule5) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) ((triple3) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((triple3 ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((triple3 ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) triple1) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule7) OR ((((triple5) -> rule5) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((triple5) -> rule5) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) ((triple3) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule8)) -> rule6) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule5) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule7))] The dog is rough.[(triple5 OR ((triple2) -> rule8) OR ((((triple1) -> rule4)) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((((triple3) -> rule1)) -> rule4)) -> rule8) OR ((((((triple3 triple1) -> rule7)) -> rule3)) -> rule8) OR ((((((triple3 ((triple3) -> rule1)) -> rule7)) -> rule3)) -> rule8))]