Bob is cold. Charlie is cold. Charlie is furry. Charlie is white. Harry is big. Harry is cold. Harry is kind. If something is smart then it is kind. If something is kind then it is smart. If Bob is big then Bob is nice. Kind things are big. All kind, white things are big. All cold things are smart. Nice things are white. Smart, cold things are nice.
Harry is not big.
@0: Bob is cold.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is white.[(triple4 OR ((((((triple2) -> rule6) triple2) -> rule8)) -> rule7))] Harry is big.[(triple5 OR ((triple7) -> rule4) OR ((((((triple6) -> rule6)) -> rule1)) -> rule4) OR ((triple7 ((((((triple6) -> rule6) triple6) -> rule8)) -> rule7)) -> rule5) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule8)) -> rule7)) -> rule5) OR ((((((triple6) -> rule6)) -> rule1) ((((((triple6) -> rule6) triple6) -> rule8)) -> rule7)) -> rule5) OR ((((((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule2) triple6) -> rule8)) -> rule7)) -> rule5))] Harry is cold.[(triple6)] Harry is kind.[(triple7 OR ((((triple6) -> rule6)) -> rule1))] @1: Bob is smart.[(((triple1) -> rule6))] Charlie is smart.[(((triple2) -> rule6))] Harry is smart.[(((triple6) -> rule6) OR ((triple7) -> rule2))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule1))] Bob is nice.[(((((triple1) -> rule6) triple1) -> rule8) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule4)) -> rule3))] Charlie is kind.[(((((triple2) -> rule6)) -> rule1))] Charlie is nice.[(((((triple2) -> rule6) triple2) -> rule8))] Harry is nice.[(((((triple6) -> rule6) triple6) -> rule8) OR ((((triple7) -> rule2) triple6) -> rule8))] @3: Bob is big.[(((((((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1) ((((((triple1) -> rule6) triple1) -> rule8)) -> rule7)) -> rule5))] Bob is white.[(((((((triple1) -> rule6) triple1) -> rule8)) -> rule7) OR ((((((((((triple1) -> rule6)) -> rule1)) -> rule4)) -> rule3)) -> rule7))] Charlie is big.[(((((((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((((triple2) -> rule6)) -> rule1) triple4) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) ((((((triple2) -> rule6) triple2) -> rule8)) -> rule7)) -> rule5))] Harry is white.[(((((((triple6) -> rule6) triple6) -> rule8)) -> rule7) OR ((((((triple7) -> rule2) triple6) -> rule8)) -> rule7))]