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