Anne is big. Anne is nice. Bob is round. Charlie is nice. Charlie is not round. Charlie is young. Gary is not big. Gary is furry. Gary is not round. Gary is young. All cold people are kind. If someone is cold and not young then they are furry. All nice, kind people are furry. If someone is kind then they are big. If someone is kind and nice then they are big. Round people are cold.
Anne is young.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Bob is round.[(triple3)] Charlie is nice.[(triple4)] Charlie is not round.[(triple5)] Charlie is young.[(triple6)] Gary is furry.[(triple8)] Gary is not big.[(triple7)] Gary is not round.[(triple9)] Gary is young.[(triple10)] @1: Bob is cold.[(((triple3) -> rule6))] @2: Bob is kind.[(((((triple3) -> rule6)) -> rule1))] @3: Bob is big.[(((((((triple3) -> rule6)) -> rule1)) -> rule4))]