Charlie is round. Dave is round. Gary is kind. White, rough people are round. If someone is green and smart then they are rough. If someone is green then they are big. All round people are green. If someone is round then they are kind. Rough people are big. Green, rough people are big. All big people are white.
Charlie is not round.
@0: Charlie is round.[(triple1)] Dave is round.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is green.[(((triple1) -> rule4))] Charlie is kind.[(((triple1) -> rule5))] Dave is green.[(((triple2) -> rule4))] Dave is kind.[(((triple2) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule4)) -> rule3))] Dave is big.[(((((triple2) -> rule4)) -> rule3))] @3: Charlie is white.[(((((((triple1) -> rule4)) -> rule3)) -> rule8))] Dave is white.[(((((((triple2) -> rule4)) -> rule3)) -> rule8))]