Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Dave is big. Dave is cold. Dave is quiet. Harry is furry. Harry is kind. Harry is smart. If something is smart then it is furry. If something is smart and cold then it is furry. Kind, smart things are cold.
Harry is quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple5) -> rule3))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Dave is quiet.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule1) OR ((triple12 ((triple11 triple12) -> rule3)) -> rule2))] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Bob is furry.[(((triple5) -> rule1) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple3 triple5) -> rule3)) -> rule2))] Harry is cold.[(((triple11 triple12) -> rule3))]