Bob is not cold. Bob is furry. Bob is nice. Bob is rough. Charlie is cold. Charlie is furry. Harry is not cold. Harry is not furry. Harry is nice. Harry is rough. If someone is cold and rough then they are round. If someone is rough then they are smart. If Bob is rough then Bob is big. Cold people are rough. Furry, big people are nice. Smart people are big. All smart people are big. If someone is round and not smart then they are big.
Charlie is big.
@0: Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple2 ((triple4) -> rule3)) -> rule5) OR ((triple2 ((((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple2 ((((triple4) -> rule2)) -> rule7)) -> rule5))] Bob is not cold.[(triple1)] Bob is rough.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Harry is nice.[(triple9)] Harry is not cold.[(triple7)] Harry is not furry.[(triple8)] Harry is rough.[(triple10)] @1: Bob is big.[(((triple4) -> rule3) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple4) -> rule2)) -> rule7))] Bob is smart.[(((triple4) -> rule2))] Charlie is rough.[(((triple5) -> rule4))] Harry is smart.[(((triple10) -> rule2))] @2: Charlie is round.[(((triple5 ((triple5) -> rule4)) -> rule1))] Charlie is smart.[(((((triple5) -> rule4)) -> rule2))] Harry is big.[(((((triple10) -> rule2)) -> rule6) OR ((((triple10) -> rule2)) -> rule7))] @3: Charlie is big.[(((((((triple5) -> rule4)) -> rule2)) -> rule6) OR ((((((triple5) -> rule4)) -> rule2)) -> rule7))] @4: Charlie is nice.[(((triple6 ((((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule5) OR ((triple6 ((((((triple5) -> rule4)) -> rule2)) -> rule7)) -> rule5))]