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