Charlie is big. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is young. Gary is big. Smart, big things are round. If something is quiet and young then it is kind. Smart, quiet things are kind. If something is young then it is quiet. Young, nice things are smart. If something is young then it is quiet.
Erin is kind.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple4 triple7) -> rule2) OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple7) -> rule4)) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule3) OR ((((triple7) -> rule4) triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2) OR ((((triple7 triple3) -> rule5) triple4) -> rule3) OR ((((triple7 triple3) -> rule5) ((triple7) -> rule4)) -> rule3) OR ((((triple7 triple3) -> rule5) ((triple7) -> rule6)) -> rule3))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple7) -> rule4) OR ((triple7) -> rule6))] Charlie is round.[(triple5 OR ((triple6 triple1) -> rule1) OR ((((triple7 triple3) -> rule5) triple1) -> rule1))] Charlie is smart.[(triple6 OR ((triple7 triple3) -> rule5))] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is kind.[(triple9 OR ((triple11 triple14) -> rule2) OR ((triple13 triple11) -> rule3) OR ((triple13 ((triple14) -> rule4)) -> rule3) OR ((triple13 ((triple14) -> rule6)) -> rule3) OR ((((triple14) -> rule4) triple14) -> rule2) OR ((((triple14) -> rule6) triple14) -> rule2) OR ((((triple14 triple10) -> rule5) triple11) -> rule3) OR ((((triple14 triple10) -> rule5) ((triple14) -> rule4)) -> rule3) OR ((((triple14 triple10) -> rule5) ((triple14) -> rule6)) -> rule3))] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((triple14) -> rule4) OR ((triple14) -> rule6))] Erin is round.[(triple12 OR ((triple13 triple8) -> rule1) OR ((((triple14 triple10) -> rule5) triple8) -> rule1))] Erin is smart.[(triple13 OR ((triple14 triple10) -> rule5))] Erin is young.[(triple14)] Gary is big.[(triple15)]