Bob is blue. Bob is rough. Bob is round. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is round. Fiona is round. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is round. Green people are furry. All furry people are round. If someone is nice then they are rough. If Gary is round and Gary is nice then Gary is blue. All furry people are nice. All rough people are green.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((((((triple2) -> rule6)) -> rule1)) -> rule2))] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule1) OR ((((((triple7) -> rule3)) -> rule6)) -> rule1))] Erin is green.[(triple6 OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule3)) -> rule6))] Erin is nice.[(triple7 OR ((triple5) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Erin is red.[(triple8)] Erin is round.[(triple9 OR ((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Fiona is round.[(triple10)] Gary is blue.[(triple11 OR ((triple16 triple13) -> rule4) OR ((triple16 ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((((((triple12) -> rule1)) -> rule2) triple13) -> rule4) OR ((((((triple12) -> rule1)) -> rule2) ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((triple16 ((((((triple15) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule1)) -> rule2) triple13) -> rule4) OR ((((((triple12) -> rule1)) -> rule2) ((((((triple15) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule1)) -> rule2) ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule1)) -> rule2) ((((((triple15) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((((((triple13) -> rule3)) -> rule6)) -> rule1)) -> rule2) triple13) -> rule4) OR ((((((((((triple13) -> rule3)) -> rule6)) -> rule1)) -> rule2) ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((((((((((triple13) -> rule3)) -> rule6)) -> rule1)) -> rule2) ((((((triple15) -> rule6)) -> rule1)) -> rule5)) -> rule4))] Gary is green.[(triple12 OR ((triple15) -> rule6) OR ((((triple13) -> rule3)) -> rule6))] Gary is nice.[(triple13 OR ((((triple12) -> rule1)) -> rule5) OR ((((((triple15) -> rule6)) -> rule1)) -> rule5))] Gary is red.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule3) OR ((((((triple12) -> rule1)) -> rule5)) -> rule3))] Gary is round.[(triple16 OR ((((triple12) -> rule1)) -> rule2) OR ((((((triple15) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple13) -> rule3)) -> rule6)) -> rule1)) -> rule2))] @1: Bob is green.[(((triple2) -> rule6))] Erin is rough.[(((triple7) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple6) -> rule1)) -> rule5)) -> rule3))] Gary is furry.[(((triple12) -> rule1) OR ((((triple15) -> rule6)) -> rule1) OR ((((((triple13) -> rule3)) -> rule6)) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule6)) -> rule1))] @3: Bob is nice.[(((((((triple2) -> rule6)) -> rule1)) -> rule5))]