Anne is not smart. Charlie is white. Dave is big. Dave is nice. Gary is furry. Gary is kind. Gary is white. Kind people are not young. If someone is nice then they are smart. Young, kind people are smart. All white, young people are kind. If someone is kind then they are big. If someone is smart then they are furry. If someone is white then they are nice. If Anne is smart then Anne is young. If Charlie is furry then Charlie is kind.
Charlie is furry.
@0: Anne is not smart.[(triple1)] Charlie is white.[(triple2)] Dave is big.[(triple3)] Dave is nice.[(triple4)] Gary is furry.[(triple5 OR ((((((triple7) -> rule7)) -> rule2)) -> rule6))] Gary is kind.[(triple6)] Gary is white.[(triple7)] @1: Charlie is nice.[(((triple2) -> rule7))] Dave is smart.[(((triple4) -> rule2))] Gary is big.[(((triple6) -> rule5))] Gary is nice.[(((triple7) -> rule7))] Gary is not young.[(((triple6) -> rule1))] @2: Charlie is smart.[(((((triple2) -> rule7)) -> rule2))] Dave is furry.[(((((triple4) -> rule2)) -> rule6))] Gary is smart.[(((((triple7) -> rule7)) -> rule2))] @3: Charlie is furry.[(((((((triple2) -> rule7)) -> rule2)) -> rule6))] @4: Charlie is kind.[(((((((((triple2) -> rule7)) -> rule2)) -> rule6)) -> rule9))] @5: Charlie is big.[(((((((((((triple2) -> rule7)) -> rule2)) -> rule6)) -> rule9)) -> rule5))] Charlie is not young.[(((((((((((triple2) -> rule7)) -> rule2)) -> rule6)) -> rule9)) -> rule1))]