Charlie is big. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. All round, quiet things are kind. If Charlie is big and Charlie is young then Charlie is round. Round, smart things are kind. If something is young then it is big. Round things are young. All smart, rough things are young. All kind, rough things are round. If something is smart then it is big.
Charlie is kind.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule8) OR ((triple7) -> rule4) OR ((((triple5) -> rule5)) -> rule4) OR ((((triple6 triple4) -> rule6)) -> rule4) OR ((((((triple2 triple4) -> rule7)) -> rule5)) -> rule4))] Charlie is kind.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 triple6) -> rule3) OR ((((triple1 triple7) -> rule2) triple3) -> rule1) OR ((((triple1 triple7) -> rule2) triple6) -> rule3) OR ((((triple1 ((triple6 triple4) -> rule6)) -> rule2) triple3) -> rule1) OR ((((triple1 ((triple6 triple4) -> rule6)) -> rule2) triple6) -> rule3) OR ((((((triple6) -> rule8) triple7) -> rule2) triple3) -> rule1) OR ((((((triple6) -> rule8) triple7) -> rule2) triple6) -> rule3) OR ((((((triple7) -> rule4) triple7) -> rule2) triple3) -> rule1) OR ((((((triple7) -> rule4) triple7) -> rule2) triple6) -> rule3) OR ((((((triple6) -> rule8) ((triple6 triple4) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((triple6) -> rule8) ((triple6 triple4) -> rule6)) -> rule2) triple6) -> rule3) OR ((((((triple7) -> rule4) ((triple6 triple4) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((triple7) -> rule4) ((triple6 triple4) -> rule6)) -> rule2) triple6) -> rule3) OR ((((((((triple6 triple4) -> rule6)) -> rule4) triple7) -> rule2) triple3) -> rule1) OR ((((((((triple6 triple4) -> rule6)) -> rule4) triple7) -> rule2) triple6) -> rule3) OR ((((((((triple6 triple4) -> rule6)) -> rule4) ((triple6 triple4) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((triple6 triple4) -> rule6)) -> rule4) ((triple6 triple4) -> rule6)) -> rule2) triple6) -> rule3))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple1 triple7) -> rule2) OR ((triple2 triple4) -> rule7) OR ((triple1 ((triple6 triple4) -> rule6)) -> rule2) OR ((((triple6) -> rule8) triple7) -> rule2) OR ((((triple7) -> rule4) triple7) -> rule2) OR ((((triple6) -> rule8) ((triple6 triple4) -> rule6)) -> rule2) OR ((((triple7) -> rule4) ((triple6 triple4) -> rule6)) -> rule2) OR ((((((triple6 triple4) -> rule6)) -> rule4) triple7) -> rule2) OR ((((((triple6 triple4) -> rule6)) -> rule4) ((triple6 triple4) -> rule6)) -> rule2))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule5) OR ((triple6 triple4) -> rule6) OR ((((triple2 triple4) -> rule7)) -> rule5))]