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