Bob is kind. Bob is rough. Bob is young. Charlie is kind. Charlie is rough. Erin is cold. Erin is kind. Erin is smart. Gary is rough. Gary is smart. All rough, big things are cold. All young things are furry. If something is smart then it is young. If Bob is cold and Bob is kind then Bob is furry. If Erin is smart then Erin is cold. If something is rough and kind then it is big. If Charlie is smart and Charlie is furry then Charlie is young. If Charlie is cold then Charlie is smart. All furry, big things are young.
Charlie is not young.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3 OR ((((((triple2 ((triple2 triple1) -> rule6)) -> rule1) triple1) -> rule4) ((triple2 triple1) -> rule6)) -> rule9))] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Erin is cold.[(triple6 OR ((triple8) -> rule5))] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Bob is big.[(((triple2 triple1) -> rule6))] Bob is furry.[(((triple3) -> rule2) OR ((((triple2 ((triple2 triple1) -> rule6)) -> rule1) triple1) -> rule4))] Charlie is big.[(((triple5 triple4) -> rule6))] Erin is young.[(((triple8) -> rule3))] Gary is young.[(((triple10) -> rule3))] @2: Bob is cold.[(((triple2 ((triple2 triple1) -> rule6)) -> rule1))] Charlie is cold.[(((triple5 ((triple5 triple4) -> rule6)) -> rule1))] Erin is furry.[(((((triple8) -> rule3)) -> rule2))] Gary is furry.[(((((triple10) -> rule3)) -> rule2))] @3: Charlie is smart.[(((((triple5 ((triple5 triple4) -> rule6)) -> rule1)) -> rule8))] @4: Charlie is young.[(((((((triple5 ((triple5 triple4) -> rule6)) -> rule1)) -> rule8)) -> rule3))] @5: Charlie is furry.[(((((((((triple5 ((triple5 triple4) -> rule6)) -> rule1)) -> rule8)) -> rule3)) -> rule2))]