Bob is cold. Bob is kind. Bob is rough. Charlie is furry. Charlie is young. Gary is red. Gary is rough. Gary is young. Harry is furry. Harry is kind. If someone is furry and kind then they are young. If Gary is cold and Gary is rough then Gary is red. If someone is cold and kind then they are blue. All young, furry people are cold. If Bob is red then Bob is furry. If Gary is kind then Gary is rough. If someone is rough then they are red. If Harry is blue then Harry is cold.
Harry is cold.
@0: Bob is cold.[(triple1 OR ((((((((triple3) -> rule7)) -> rule5) triple2) -> rule1) ((((triple3) -> rule7)) -> rule5)) -> rule4))] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Charlie is furry.[(triple4)] Charlie is young.[(triple5)] Gary is red.[(triple6 OR ((triple7) -> rule7))] Gary is rough.[(triple7)] Gary is young.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] @1: Bob is blue.[(((triple1 triple2) -> rule3) OR ((((((((((triple3) -> rule7)) -> rule5) triple2) -> rule1) ((((triple3) -> rule7)) -> rule5)) -> rule4) triple2) -> rule3))] Bob is red.[(((triple3) -> rule7))] Charlie is cold.[(((triple5 triple4) -> rule4))] Harry is young.[(((triple9 triple10) -> rule1))] @2: Bob is furry.[(((((triple3) -> rule7)) -> rule5))] Harry is cold.[(((((triple9 triple10) -> rule1) triple9) -> rule4))] @3: Bob is young.[(((((((triple3) -> rule7)) -> rule5) triple2) -> rule1))] Harry is blue.[(((((((triple9 triple10) -> rule1) triple9) -> rule4) triple10) -> rule3))]