The dog is green. The dog is red. The dog is rough. The dog is round. The dog is young. If someone is red and rough then they are young. All red, young people are round. Red, green people are round. If the dog is green and the dog is rough then the dog is young. All red people are round. All green, rough people are red. If someone is round and green then they are red. If the dog is rough then the dog is round.
The dog is rough.
@0: The dog is green.[(triple1)] The dog is red.[(triple2 OR ((triple1 triple3) -> rule6) OR ((triple4 triple1) -> rule7) OR ((((triple3) -> rule8) triple1) -> rule7))] The dog is rough.[(triple3)] The dog is round.[(triple4 OR ((triple2) -> rule5) OR ((triple3) -> rule8) OR ((triple2 triple1) -> rule3) OR ((triple2 triple5) -> rule2) OR ((((triple1 triple3) -> rule6)) -> rule5) OR ((triple2 ((triple1 triple3) -> rule4)) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2) OR ((((triple1 triple3) -> rule6) triple1) -> rule3) OR ((((triple1 triple3) -> rule6) triple5) -> rule2) OR ((((triple1 triple3) -> rule6) ((triple1 triple3) -> rule4)) -> rule2) OR ((((triple1 triple3) -> rule6) ((triple2 triple3) -> rule1)) -> rule2) OR ((triple2 ((((triple1 triple3) -> rule6) triple3) -> rule1)) -> rule2) OR ((((triple1 triple3) -> rule6) ((((triple1 triple3) -> rule6) triple3) -> rule1)) -> rule2))] The dog is young.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple2 triple3) -> rule1) OR ((((triple1 triple3) -> rule6) triple3) -> rule1) OR ((((triple4 triple1) -> rule7) triple3) -> rule1) OR ((((((triple3) -> rule8) triple1) -> rule7) triple3) -> rule1))]