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