The lion is nice. The lion is round. The lion is young. Blue, young people are round. If the lion is cold then the lion is blue. If someone is blue and young then they are cold. All nice, cold people are young. All blue, cold people are young. Blue, cold people are round. If the lion is nice then the lion is blue. If someone is young and nice then they are blue.
The lion is not young.
@0: The lion is nice.[(triple1)] The lion is round.[(triple2 OR ((((triple1) -> rule7) triple3) -> rule1) OR ((((triple3 triple1) -> rule8) triple3) -> rule1) OR ((((triple1) -> rule7) ((((triple1) -> rule7) triple3) -> rule3)) -> rule6) OR ((((triple1) -> rule7) ((((triple3 triple1) -> rule8) triple3) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule8) ((((triple1) -> rule7) triple3) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule8) ((((triple3 triple1) -> rule8) triple3) -> rule3)) -> rule6))] The lion is young.[(triple3)] @1: The lion is blue.[(((triple1) -> rule7) OR ((triple3 triple1) -> rule8))] @2: The lion is cold.[(((((triple1) -> rule7) triple3) -> rule3) OR ((((triple3 triple1) -> rule8) triple3) -> rule3))]