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