Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. If someone is cold then they are green. Smart people are green. If someone is nice then they are big. All smart people are cold. If Charlie is cold then Charlie is big. If someone is smart then they are green. If Charlie is green and Charlie is smart then Charlie is cold. All green people are quiet.
Charlie is nice.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule3) OR ((((triple7) -> rule4)) -> rule5) OR ((((triple3 triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule2) triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule6) triple7) -> rule7)) -> rule5))] Charlie is cold.[(triple2 OR ((triple7) -> rule4) OR ((triple3 triple7) -> rule7) OR ((((triple7) -> rule2) triple7) -> rule7) OR ((((triple7) -> rule6) triple7) -> rule7))] Charlie is green.[(triple3 OR ((triple2) -> rule1) OR ((triple7) -> rule2) OR ((triple7) -> rule6) OR ((((triple7) -> rule4)) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6 OR ((triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule6)) -> rule8) OR ((((((triple7) -> rule4)) -> rule1)) -> rule8))] Charlie is smart.[(triple7)]