The dog is big. The dog is kind. The dog is nice. The dog is red. The dog is rough. Red people are kind. If someone is kind then they are rough. All red, rough people are big. If someone is red and kind then they are rough. If someone is rough and kind then they are nice. Red, nice people are big.
The dog does not chase the dog.
@0: The dog is big.[(triple1 OR ((triple4 triple3) -> rule6) OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple2) -> rule2)) -> rule3) OR ((triple4 ((triple4 triple2) -> rule4)) -> rule3) OR ((triple4 ((triple5 triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple4) -> rule1)) -> rule2)) -> rule3) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3) OR ((triple4 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple4 ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple4 triple2) -> rule4) triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple2) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple4 ((((triple4 triple2) -> rule4) ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple4 ((((((triple4) -> rule1)) -> rule2) triple2) -> rule5)) -> rule6) OR ((triple4 ((((triple4 ((triple4) -> rule1)) -> rule4) triple2) -> rule5)) -> rule6) OR ((triple4 ((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule6) OR ((triple4 ((((triple4 ((triple4) -> rule1)) -> rule4) ((triple4) -> rule1)) -> rule5)) -> rule6))] The dog is kind.[(triple2 OR ((triple4) -> rule1))] The dog is nice.[(triple3 OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple4) -> rule1)) -> rule5) OR ((((triple2) -> rule2) triple2) -> rule5) OR ((((triple4 triple2) -> rule4) triple2) -> rule5) OR ((((triple2) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((triple4 triple2) -> rule4) ((triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) triple2) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule4) triple2) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule4) ((triple4) -> rule1)) -> rule5))] The dog is red.[(triple4)] The dog is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple4 triple2) -> rule4) OR ((((triple4) -> rule1)) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule4))]