Bob is quiet. Charlie is white. Erin is quiet. Gary is furry. Green, white people are quiet. All blue, green people are white. Quiet people are green. Big, white people are quiet. All big, furry people are green. All round people are quiet. If Bob is quiet and Bob is green then Bob is round. All quiet, green people are blue.
Gary is big.
@0: Bob is quiet.[(triple1)] Charlie is white.[(triple2)] Erin is quiet.[(triple3)] Gary is furry.[(triple4)] @1: Bob is green.[(((triple1) -> rule3))] Erin is green.[(((triple3) -> rule3))] @2: Bob is blue.[(((triple1 ((triple1) -> rule3)) -> rule8))] Bob is round.[(((triple1 ((triple1) -> rule3)) -> rule7))] Erin is blue.[(((triple3 ((triple3) -> rule3)) -> rule8))] @3: Bob is white.[(((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule2))] Erin is white.[(((((triple3 ((triple3) -> rule3)) -> rule8) ((triple3) -> rule3)) -> rule2))]