Bob is furry. Bob is kind. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Dave is cold. Dave is furry. Dave is kind. Dave is round. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. If Harry is big then Harry is cold. If someone is furry then they are cold. All furry, smart people are kind. Smart, cold people are big. If Dave is smart and Dave is kind then Dave is round. Smart, round people are cold. If Harry is kind and Harry is round then Harry is smart. If Harry is kind then Harry is big.
Harry is rough.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple1 triple4) -> rule3))] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Dave is cold.[(triple7 OR ((triple8) -> rule2))] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is round.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule2) OR ((((triple13) -> rule8)) -> rule1) OR ((((triple13 triple15) -> rule7) triple15) -> rule6))] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Bob is cold.[(((triple1) -> rule2))] Charlie is cold.[(((triple6) -> rule2))] Harry is big.[(((triple13) -> rule8) OR ((((triple13 triple15) -> rule7) triple11) -> rule4) OR ((((triple13 triple15) -> rule7) ((triple12) -> rule2)) -> rule4) OR ((((triple13 triple15) -> rule7) ((((triple13 triple15) -> rule7) triple15) -> rule6)) -> rule4))] Harry is smart.[(((triple13 triple15) -> rule7))] @2: Bob is big.[(((triple4 ((triple1) -> rule2)) -> rule4))]