Bob is nice. Bob is white. Bob is young. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Gary is furry. Gary is nice. Harry is nice. Harry is red. Harry is rough. Harry is smart. All smart, nice people are white. If someone is furry then they are smart. Furry, white people are rough. If someone is rough and white then they are red. Red, furry people are nice. If someone is red and furry then they are young. If Harry is rough and Harry is white then Harry is furry.
Bob is smart.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6 OR ((triple4 ((triple7 triple5) -> rule1)) -> rule3) OR ((triple4 ((((triple4) -> rule2) triple5) -> rule1)) -> rule3))] Charlie is smart.[(triple7 OR ((triple4) -> rule2))] Charlie is young.[(triple8 OR ((((triple6 ((triple7 triple5) -> rule1)) -> rule4) triple4) -> rule6) OR ((((triple6 ((((triple4) -> rule2) triple5) -> rule1)) -> rule4) triple4) -> rule6) OR ((((((triple4 ((triple7 triple5) -> rule1)) -> rule3) ((triple7 triple5) -> rule1)) -> rule4) triple4) -> rule6) OR ((((((triple4 ((triple7 triple5) -> rule1)) -> rule3) ((((triple4) -> rule2) triple5) -> rule1)) -> rule4) triple4) -> rule6) OR ((((((triple4 ((((triple4) -> rule2) triple5) -> rule1)) -> rule3) ((triple7 triple5) -> rule1)) -> rule4) triple4) -> rule6) OR ((((((triple4 ((((triple4) -> rule2) triple5) -> rule1)) -> rule3) ((((triple4) -> rule2) triple5) -> rule1)) -> rule4) triple4) -> rule6))] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple13 ((triple14 triple11) -> rule1)) -> rule4))] Harry is rough.[(triple13)] Harry is smart.[(triple14)] @1: Charlie is white.[(((triple7 triple5) -> rule1) OR ((((triple4) -> rule2) triple5) -> rule1))] Gary is smart.[(((triple9) -> rule2))] Harry is white.[(((triple14 triple11) -> rule1))] @2: Charlie is red.[(((triple6 ((triple7 triple5) -> rule1)) -> rule4) OR ((triple6 ((((triple4) -> rule2) triple5) -> rule1)) -> rule4) OR ((((triple4 ((triple7 triple5) -> rule1)) -> rule3) ((triple7 triple5) -> rule1)) -> rule4) OR ((((triple4 ((triple7 triple5) -> rule1)) -> rule3) ((((triple4) -> rule2) triple5) -> rule1)) -> rule4) OR ((((triple4 ((((triple4) -> rule2) triple5) -> rule1)) -> rule3) ((triple7 triple5) -> rule1)) -> rule4) OR ((((triple4 ((((triple4) -> rule2) triple5) -> rule1)) -> rule3) ((((triple4) -> rule2) triple5) -> rule1)) -> rule4))] Gary is white.[(((((triple9) -> rule2) triple10) -> rule1))] Harry is furry.[(((triple13 ((triple14 triple11) -> rule1)) -> rule7))] @3: Gary is rough.[(((triple9 ((((triple9) -> rule2) triple10) -> rule1)) -> rule3))] Harry is young.[(((triple12 ((triple13 ((triple14 triple11) -> rule1)) -> rule7)) -> rule6) OR ((((triple13 ((triple14 triple11) -> rule1)) -> rule4) ((triple13 ((triple14 triple11) -> rule1)) -> rule7)) -> rule6))] @4: Gary is red.[(((((triple9 ((((triple9) -> rule2) triple10) -> rule1)) -> rule3) ((((triple9) -> rule2) triple10) -> rule1)) -> rule4))] @5: Gary is young.[(((((((triple9 ((((triple9) -> rule2) triple10) -> rule1)) -> rule3) ((((triple9) -> rule2) triple10) -> rule1)) -> rule4) triple9) -> rule6))]