Bob is cold. Charlie is big. Charlie is rough. Charlie is round. Charlie is smart. Erin is big. Fiona is smart. If something is big and quiet then it is smart. All big things are quiet.
Charlie is rough.
@0: Bob is cold.[(triple1)] Charlie is big.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5 OR ((triple2 ((triple2) -> rule2)) -> rule1))] Erin is big.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule2))] Erin is quiet.[(((triple6) -> rule2))] @2: Erin is smart.[(((triple6 ((triple6) -> rule2)) -> rule1))]