The dog is green. The dog is kind. The dog is nice. The dog is rough. The dog is young. If the dog is kind and the dog is green then the dog is young. Green, rough things are nice. If something is rough and nice then it is green. If the dog is green and the dog is kind then the dog is nice. Nice things are green. All nice things are green. If the dog is kind then the dog is nice. If something is nice then it is kind.
The dog is nice.
@0: The dog is green.[(triple1 OR ((triple3) -> rule5) OR ((triple3) -> rule6) OR ((triple4 triple3) -> rule3) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7)) -> rule6) OR ((triple4 ((triple2) -> rule7)) -> rule3))] The dog is kind.[(triple2 OR ((triple3) -> rule8) OR ((((triple1 triple4) -> rule2)) -> rule8))] The dog is nice.[(triple3 OR ((triple2) -> rule7) OR ((triple1 triple2) -> rule4) OR ((triple1 triple4) -> rule2))] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3) -> rule5)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1) OR ((triple2 ((triple4 triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) ((triple3) -> rule5)) -> rule1) OR ((((triple3) -> rule8) ((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((triple4 triple3) -> rule3)) -> rule1) OR ((triple2 ((((triple2) -> rule7)) -> rule5)) -> rule1) OR ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule1) OR ((triple2 ((triple4 ((triple2) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) ((((triple2) -> rule7)) -> rule5)) -> rule1) OR ((((triple3) -> rule8) ((((triple2) -> rule7)) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((triple4 ((triple2) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((triple3) -> rule5)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((triple3) -> rule6)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((triple4 triple3) -> rule3)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((((triple2) -> rule7)) -> rule5)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((((triple2) -> rule7)) -> rule6)) -> rule1) OR ((((((triple1 triple4) -> rule2)) -> rule8) ((triple4 ((triple2) -> rule7)) -> rule3)) -> rule1))]