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