Bob is furry. Bob is young. Dave is blue. Dave is nice. Dave is red. Dave is rough. Dave is smart. Erin is red. Gary is furry. Gary is rough. Young things are rough. If Bob is furry and Bob is rough then Bob is young. If something is smart and nice then it is furry. All young things are nice. All nice, red things are rough. Young, furry things are red. If something is blue then it is red. If something is rough and nice then it is smart.
Bob is red.
@0: Bob is furry.[(triple1 OR ((((((triple2) -> rule1) ((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3))] Bob is young.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule7))] Dave is rough.[(triple6 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple3) -> rule7)) -> rule5))] Dave is smart.[(triple7 OR ((triple6 triple4) -> rule8) OR ((((triple4 triple5) -> rule5) triple4) -> rule8) OR ((((triple4 ((triple3) -> rule7)) -> rule5) triple4) -> rule8))] Erin is red.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10)] @1: Bob is nice.[(((triple2) -> rule4))] Bob is red.[(((triple2 triple1) -> rule6) OR ((triple2 ((((((triple2) -> rule1) ((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule6))] Bob is rough.[(((triple2) -> rule1) OR ((((triple2) -> rule4) ((triple2 triple1) -> rule6)) -> rule5))] Dave is furry.[(((triple7 triple4) -> rule3) OR ((((triple6 triple4) -> rule8) triple4) -> rule3) OR ((((((triple4 triple5) -> rule5) triple4) -> rule8) triple4) -> rule3) OR ((((((triple4 ((triple3) -> rule7)) -> rule5) triple4) -> rule8) triple4) -> rule3))] @2: Bob is smart.[(((((triple2) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule4) ((triple2 triple1) -> rule6)) -> rule5) ((triple2) -> rule4)) -> rule8))]