Bob is big. Bob is blue. Bob is furry. Bob is nice. Erin is big. Erin is furry. Erin is red. Erin is smart. Erin is young. Gary is big. Gary is blue. Gary is smart. If someone is nice and furry then they are young. If Bob is furry then Bob is blue. All smart people are furry. Red people are smart. If someone is red then they are nice. Furry people are young. All blue, furry people are big. If someone is blue and red then they are big.
Bob is not furry.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule7) OR ((((triple3) -> rule2) triple3) -> rule7))] Bob is blue.[(triple2 OR ((triple3) -> rule2))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6 OR ((triple8) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Erin is red.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule4))] Erin is young.[(triple9 OR ((triple6) -> rule6) OR ((((triple8) -> rule3)) -> rule6) OR ((((triple7) -> rule5) triple6) -> rule1) OR ((((triple7) -> rule5) ((triple8) -> rule3)) -> rule1) OR ((((((triple7) -> rule4)) -> rule3)) -> rule6) OR ((((triple7) -> rule5) ((((triple7) -> rule4)) -> rule3)) -> rule1))] Gary is big.[(triple10 OR ((triple11 ((triple12) -> rule3)) -> rule7))] Gary is blue.[(triple11)] Gary is smart.[(triple12)] @1: Bob is young.[(((triple3) -> rule6) OR ((triple4 triple3) -> rule1))] Erin is nice.[(((triple7) -> rule5))] Gary is furry.[(((triple12) -> rule3))] @2: Gary is young.[(((((triple12) -> rule3)) -> rule6))]