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