Bob is nice. Bob is white. Charlie is round. Charlie is white. Erin is furry. Erin is nice. Gary is young. All furry, nice things are young. If something is red then it is furry. All furry things are red. All nice things are red. Round, kind things are nice. All young, furry things are kind. If something is white and round then it is furry. If something is red and round then it is young.
Gary is not nice.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is furry.[(triple5 OR ((((triple6) -> rule4)) -> rule2))] Erin is nice.[(triple6)] Gary is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule4))] Charlie is furry.[(((triple4 triple3) -> rule7))] Erin is red.[(((triple5) -> rule3) OR ((triple6) -> rule4))] Erin is young.[(((triple5 triple6) -> rule1) OR ((((((triple6) -> rule4)) -> rule2) triple6) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule4)) -> rule2))] Charlie is red.[(((((triple4 triple3) -> rule7)) -> rule3))] Erin is kind.[(((((triple5 triple6) -> rule1) triple5) -> rule6) OR ((((triple5 triple6) -> rule1) ((((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule2) triple6) -> rule1) triple5) -> rule6) OR ((((((((triple6) -> rule4)) -> rule2) triple6) -> rule1) ((((triple6) -> rule4)) -> rule2)) -> rule6))] @3: Bob is young.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule1))] Charlie is young.[(((((((triple4 triple3) -> rule7)) -> rule3) triple3) -> rule8))] @4: Bob is kind.[(((((((((triple1) -> rule4)) -> rule2) triple1) -> rule1) ((((triple1) -> rule4)) -> rule2)) -> rule6))] Charlie is kind.[(((((((((triple4 triple3) -> rule7)) -> rule3) triple3) -> rule8) ((triple4 triple3) -> rule7)) -> rule6))] @5: Charlie is nice.[(((triple3 ((((((((triple4 triple3) -> rule7)) -> rule3) triple3) -> rule8) ((triple4 triple3) -> rule7)) -> rule6)) -> rule5))]