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