Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is round. Bob is smart. Erin is big. Erin is furry. Erin is round. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is round. Gary is smart. Gary is not young. If someone is round and not furry then they are young. If Bob is furry and Bob is kind then Bob is smart. If Erin is round and Erin is big then Erin is not young. If Erin is smart and Erin is kind then Erin is cold. If someone is smart then they are cold. All young people are cold. If someone is round and not young then they are smart. If someone is big and not furry then they are not smart.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule5) OR ((((triple3 triple4) -> rule2)) -> rule5))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple3 triple4) -> rule2))] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple15) -> rule5) OR ((((triple14 triple16) -> rule7)) -> rule5))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not young.[(triple16)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple14 triple16) -> rule7))] @1: Erin is not young.[(((triple9 triple7) -> rule3))] @2: Erin is smart.[(((triple9 ((triple9 triple7) -> rule3)) -> rule7))] @3: Erin is cold.[(((((triple9 ((triple9 triple7) -> rule3)) -> rule7)) -> rule5))]