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