Anne is furry. Bob is furry. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Harry is blue. Harry is cold. Harry is quiet. Harry is round. Harry is young. Cold, blue things are quiet. All round, furry things are quiet. If Bob is blue and Bob is round then Bob is young. If something is round then it is blue. If something is young and round then it is blue. If Harry is quiet and Harry is furry then Harry is blue. Furry things are cold. Cold things are round. If something is young and furry then it is rough.
Bob is cold.
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] Gary is blue.[(triple3 OR ((triple7) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((((triple5) -> rule7)) -> rule8)) -> rule4))] Gary is cold.[(triple4 OR ((triple5) -> rule7))] Gary is furry.[(triple5)] Gary is quiet.[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple7 triple5) -> rule2) OR ((triple4 ((triple7) -> rule4)) -> rule1) OR ((((triple4) -> rule8) triple5) -> rule2) OR ((((triple5) -> rule7) triple3) -> rule1) OR ((((triple5) -> rule7) ((triple7) -> rule4)) -> rule1) OR ((triple4 ((((triple4) -> rule8)) -> rule4)) -> rule1) OR ((((((triple5) -> rule7)) -> rule8) triple5) -> rule2) OR ((((triple5) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule1) OR ((triple4 ((((((triple5) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule8)) -> rule4)) -> rule1))] Gary is round.[(triple7 OR ((triple4) -> rule8) OR ((((triple5) -> rule7)) -> rule8))] Harry is blue.[(triple8 OR ((triple11) -> rule4) OR ((triple12 triple11) -> rule5) OR ((((triple9) -> rule8)) -> rule4) OR ((triple12 ((triple9) -> rule8)) -> rule5))] Harry is cold.[(triple9)] Harry is quiet.[(triple10 OR ((triple9 triple8) -> rule1) OR ((triple9 ((triple11) -> rule4)) -> rule1) OR ((triple9 ((triple12 triple11) -> rule5)) -> rule1) OR ((triple9 ((((triple9) -> rule8)) -> rule4)) -> rule1) OR ((triple9 ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule1))] Harry is round.[(triple11 OR ((triple9) -> rule8))] Harry is young.[(triple12)] @1: Anne is cold.[(((triple1) -> rule7))] Bob is cold.[(((triple2) -> rule7))] @2: Anne is round.[(((((triple1) -> rule7)) -> rule8))] Bob is round.[(((((triple2) -> rule7)) -> rule8))] @3: Anne is blue.[(((((((triple1) -> rule7)) -> rule8)) -> rule4))] Anne is quiet.[(((((((triple1) -> rule7)) -> rule8) triple1) -> rule2) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule8)) -> rule4)) -> rule1))] Bob is blue.[(((((((triple2) -> rule7)) -> rule8)) -> rule4))] Bob is quiet.[(((((((triple2) -> rule7)) -> rule8) triple2) -> rule2) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1))] @4: Bob is young.[(((((((((triple2) -> rule7)) -> rule8)) -> rule4) ((((triple2) -> rule7)) -> rule8)) -> rule3))] @5: Bob is rough.[(((((((((((triple2) -> rule7)) -> rule8)) -> rule4) ((((triple2) -> rule7)) -> rule8)) -> rule3) triple2) -> rule9))]