Bob is cold. Bob is young. Dave is nice. Fiona is nice. Harry is nice. Harry is smart. Harry is young. All smart, young things are cold. All nice things are smart. Quiet, smart things are round. If something is smart then it is nice. If something is quiet and round then it is smart. All smart things are round. Cold things are nice. Young, red things are quiet.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is young.[(triple2)] Dave is nice.[(triple3)] Fiona is nice.[(triple4)] Harry is nice.[(triple5 OR ((triple6) -> rule4) OR ((((triple6 triple7) -> rule1)) -> rule7))] Harry is smart.[(triple6 OR ((triple5) -> rule2))] Harry is young.[(triple7)] @1: Bob is nice.[(((triple1) -> rule7))] Dave is smart.[(((triple3) -> rule2))] Fiona is smart.[(((triple4) -> rule2))] Harry is cold.[(((triple6 triple7) -> rule1) OR ((((triple5) -> rule2) triple7) -> rule1))] Harry is round.[(((triple6) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule7)) -> rule2))] Dave is round.[(((((triple3) -> rule2)) -> rule6))] Fiona is round.[(((((triple4) -> rule2)) -> rule6))] @3: Bob is round.[(((((((triple1) -> rule7)) -> rule2)) -> rule6))]