The lion is big. The lion is green. The lion is nice. The lion is rough. The lion is round. All nice, green people are round. If someone is green and big then they are round. Round, rough people are green. If someone is round then they are rough. Big people are green. Round, nice people are big. If someone is round then they are green. If someone is big and round then they are rough.
The lion likes the lion.
@0: The lion is big.[(triple1 OR ((triple5 triple3) -> rule6) OR ((((triple3 triple2) -> rule1) triple3) -> rule6))] The lion is green.[(triple2 OR ((triple1) -> rule5) OR ((triple5) -> rule7) OR ((triple5 triple4) -> rule3) OR ((((triple5 triple3) -> rule6)) -> rule5) OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((triple5 ((triple1 triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple5 triple3) -> rule6) triple5) -> rule8)) -> rule3))] The lion is nice.[(triple3)] The lion is rough.[(triple4 OR ((triple5) -> rule4) OR ((triple1 triple5) -> rule8) OR ((((triple2 triple1) -> rule2)) -> rule4) OR ((((triple3 triple2) -> rule1)) -> rule4) OR ((triple1 ((triple2 triple1) -> rule2)) -> rule8) OR ((triple1 ((triple3 triple2) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule6) triple5) -> rule8) OR ((((triple5 triple3) -> rule6) ((triple2 triple1) -> rule2)) -> rule8) OR ((((triple5 triple3) -> rule6) ((triple3 triple2) -> rule1)) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule5) triple1) -> rule2)) -> rule4) OR ((triple1 ((triple3 ((triple1) -> rule5)) -> rule1)) -> rule8) OR ((triple1 ((((triple1) -> rule5) triple1) -> rule2)) -> rule8) OR ((((((triple3 triple2) -> rule1) triple3) -> rule6) triple5) -> rule8) OR ((((triple5 triple3) -> rule6) ((triple3 ((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule2)) -> rule8) OR ((((((triple3 triple2) -> rule1) triple3) -> rule6) ((triple2 triple1) -> rule2)) -> rule8) OR ((((((triple3 triple2) -> rule1) triple3) -> rule6) ((triple3 triple2) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule1) triple3) -> rule6) ((triple3 ((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule1) triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule2)) -> rule8))] The lion is round.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule2))]