Bob is big. Bob is not cold. Bob is quiet. Bob is red. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Erin is blue. Erin is cold. Gary is big. Gary is cold. Gary is quiet. Gary is rough. If something is red then it is big. Furry things are red. Blue things are furry. If something is furry then it is blue. All rough things are cold. If Erin is not red then Erin is cold. If Gary is not blue then Gary is not rough. If something is red and not furry then it is rough.
Charlie is not red.
@0: Bob is big.[(triple1 OR ((triple4) -> rule1))] Bob is not cold.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Charlie is big.[(triple5 OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple6) -> rule3)) -> rule2)) -> rule1))] Charlie is blue.[(triple6 OR ((triple8) -> rule4))] Charlie is cold.[(triple7 OR ((triple10) -> rule5))] Charlie is furry.[(triple8 OR ((triple6) -> rule3))] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Gary is big.[(triple13)] Gary is cold.[(triple14 OR ((triple16) -> rule5))] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Charlie is red.[(((triple8) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] Erin is furry.[(((triple11) -> rule3))] @2: Erin is red.[(((((triple11) -> rule3)) -> rule2))] @3: Erin is big.[(((((((triple11) -> rule3)) -> rule2)) -> rule1))]