Charlie is blue. Charlie is kind. Charlie is quiet. Dave is smart. Gary is furry. Gary is quiet. Gary is smart. If someone is white then they are big. If someone is quiet then they are white. If someone is quiet and white then they are kind. If Dave is quiet then Dave is big. If Charlie is blue then Charlie is smart. If Gary is smart and Gary is furry then Gary is big.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2 OR ((triple3 ((triple3) -> rule2)) -> rule3))] Charlie is quiet.[(triple3)] Dave is smart.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule5))] Charlie is white.[(((triple3) -> rule2))] Gary is big.[(((triple7 triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule1))] Gary is white.[(((triple6) -> rule2))] @2: Charlie is big.[(((((triple3) -> rule2)) -> rule1))] Gary is kind.[(((triple6 ((triple6) -> rule2)) -> rule3))]