Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is young. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Erin is red. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is young. Red things are green. All furry, green things are young. All green, furry things are young. All nice, quiet things are furry. Quiet things are young. If something is furry then it is young.
Erin is not furry.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule1))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Erin is red.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple15) -> rule1))] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16 OR ((triple12) -> rule6) OR ((triple12 triple13) -> rule2) OR ((triple13 triple12) -> rule3) OR ((triple12 ((triple15) -> rule1)) -> rule2) OR ((((triple15) -> rule1) triple12) -> rule3))] @1: Dave is furry.[(((triple7 triple8) -> rule4))] Dave is green.[(((triple9) -> rule1))] Dave is young.[(((triple8) -> rule5) OR ((((triple7 triple8) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((triple7 triple8) -> rule4)) -> rule3) OR ((((triple7 triple8) -> rule4) ((triple9) -> rule1)) -> rule2))] Erin is green.[(((triple10) -> rule1))]