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