Bob is rough. Bob is round. Dave is blue. Dave is furry. Dave is rough. Fiona is rough. Fiona is white. If Dave is round and Dave is rough then Dave is cold. Kind, white things are blue. All white, furry things are round. If Dave is round then Dave is kind. If something is cold and kind then it is blue. If something is furry then it is white. All white things are blue. If Bob is cold and Bob is blue then Bob is rough.
Bob is furry.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Dave is blue.[(triple3 OR ((((triple4) -> rule6)) -> rule7) OR ((((((((triple4) -> rule6) triple4) -> rule3)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((triple4) -> rule6) triple4) -> rule3) triple5) -> rule1) ((((((triple4) -> rule6) triple4) -> rule3)) -> rule4)) -> rule5))] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Dave is white.[(((triple4) -> rule6))] Fiona is blue.[(((triple7) -> rule7))] @2: Dave is round.[(((((triple4) -> rule6) triple4) -> rule3))] @3: Dave is cold.[(((((((triple4) -> rule6) triple4) -> rule3) triple5) -> rule1))] Dave is kind.[(((((((triple4) -> rule6) triple4) -> rule3)) -> rule4))]