Bob is nice. Charlie is blue. Erin is big. Erin is white. Gary is big. Gary is green. Gary is quiet. All blue things are white. All nice things are quiet. Green, big things are quiet. If something is green and nice then it is blue. Nice things are big. If something is rough and green then it is big. White, green things are big. White things are rough. All rough, blue things are green.
Charlie is rough.
@0: Bob is nice.[(triple1)] Charlie is blue.[(triple2)] Erin is big.[(triple3)] Erin is white.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7 OR ((triple6 triple5) -> rule3))] @1: Bob is big.[(((triple1) -> rule5))] Bob is quiet.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule1))] Erin is rough.[(((triple4) -> rule8))] @2: Charlie is rough.[(((((triple2) -> rule1)) -> rule8))] @3: Charlie is green.[(((((((triple2) -> rule1)) -> rule8) triple2) -> rule9))] @4: Charlie is big.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule8) triple2) -> rule9)) -> rule7) OR ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple2) -> rule9)) -> rule6))] @5: Charlie is quiet.[(((((((((triple2) -> rule1)) -> rule8) triple2) -> rule9) ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule8) triple2) -> rule9)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule8) triple2) -> rule9) ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple2) -> rule9)) -> rule6)) -> rule3))]