Charlie is blue. Dave is young. Erin is round. Fiona is big. If someone is blue then they are young. If Charlie is big and Charlie is young then Charlie is rough. If someone is big and green then they are white. If someone is young then they are round. If someone is young then they are big. All blue, young people are white.
Fiona is round.
@0: Charlie is blue.[(triple1)] Dave is young.[(triple2)] Erin is round.[(triple3)] Fiona is big.[(triple4)] @1: Charlie is young.[(((triple1) -> rule1))] Dave is big.[(((triple2) -> rule5))] Dave is round.[(((triple2) -> rule4))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule5))] Charlie is round.[(((((triple1) -> rule1)) -> rule4))] Charlie is white.[(((triple1 ((triple1) -> rule1)) -> rule6))] @3: Charlie is rough.[(((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule2))]