Charlie is quiet. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Erin is white. Gary is furry. Furry people are quiet. Quiet, cold people are furry. If someone is rough then they are big. If someone is quiet then they are cold. If someone is furry and white then they are rough. All rough, big people are quiet. All white people are rough. Blue people are cold.
Charlie is not big.
@0: Charlie is quiet.[(triple1)] Dave is cold.[(triple2 OR ((triple4) -> rule4) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple5 ((triple5) -> rule3)) -> rule6)) -> rule4))] Dave is furry.[(triple3 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2) OR ((((triple5 ((triple5) -> rule3)) -> rule6) triple2) -> rule2) OR ((((triple5 ((triple5) -> rule3)) -> rule6) ((triple4) -> rule4)) -> rule2) OR ((triple4 ((((triple5 ((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule2) OR ((((triple5 ((triple5) -> rule3)) -> rule6) ((((triple5 ((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule2))] Dave is quiet.[(triple4 OR ((triple3) -> rule1) OR ((triple5 ((triple5) -> rule3)) -> rule6))] Dave is rough.[(triple5)] Erin is white.[(triple6)] Gary is furry.[(triple7)] @1: Charlie is cold.[(((triple1) -> rule4))] Dave is big.[(((triple5) -> rule3))] Erin is rough.[(((triple6) -> rule7))] Gary is quiet.[(((triple7) -> rule1))] @2: Charlie is furry.[(((triple1 ((triple1) -> rule4)) -> rule2))] Erin is big.[(((((triple6) -> rule7)) -> rule3))] Gary is cold.[(((((triple7) -> rule1)) -> rule4))] @3: Erin is quiet.[(((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule6))] @4: Erin is cold.[(((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule6)) -> rule4))] @5: Erin is furry.[(((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule6) ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule6)) -> rule4)) -> rule2))]