The lion is blue. The lion is cold. The lion is nice. The lion is round. The lion is young. All young, cold people are nice. If someone is nice and round then they are young. All blue people are nice. Nice people are young. All blue, cold people are round. If someone is cold then they are nice. Cold people are round. Young, blue people are nice.
The lion is round.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule6) OR ((triple5 triple1) -> rule8) OR ((triple5 triple2) -> rule1))] The lion is round.[(triple4 OR ((triple2) -> rule7) OR ((triple1 triple2) -> rule5))] The lion is young.[(triple5 OR ((triple3) -> rule4) OR ((triple3 triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple2) -> rule6)) -> rule4) OR ((triple3 ((triple2) -> rule7)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule2) OR ((((triple1) -> rule3) triple4) -> rule2) OR ((((triple2) -> rule6) triple4) -> rule2) OR ((((triple1) -> rule3) ((triple2) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((triple1 triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((triple2) -> rule7)) -> rule2) OR ((((triple2) -> rule6) ((triple1 triple2) -> rule5)) -> rule2))]