Anne is big. Anne is green. Anne is nice. Bob is kind. Erin is furry. Erin is white. Gary is furry. Gary is green. Gary is nice. Gary is white. If Gary is white then Gary is big. If Anne is nice then Anne is green. Kind people are nice. Big people are rough. If someone is nice then they are green. Green people are white. All rough people are kind. All nice people are big. Furry people are big.
Bob is white.
@0: Anne is big.[(triple1 OR ((triple3) -> rule8))] Anne is green.[(triple2 OR ((triple3) -> rule2) OR ((triple3) -> rule5) OR ((((((((triple1) -> rule4)) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule7)) -> rule3)) -> rule5))] Anne is nice.[(triple3 OR ((((((triple1) -> rule4)) -> rule7)) -> rule3))] Bob is kind.[(triple4)] Erin is furry.[(triple5)] Erin is white.[(triple6 OR ((((((((((((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule3)) -> rule5)) -> rule6))] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((triple9) -> rule5) OR ((((((((((triple10) -> rule1)) -> rule4)) -> rule7)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule9)) -> rule4)) -> rule7)) -> rule3)) -> rule5))] Gary is nice.[(triple9 OR ((((((((triple10) -> rule1)) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule9)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple8) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule3))] Gary is white.[(triple10 OR ((triple8) -> rule6) OR ((((triple9) -> rule5)) -> rule6) OR ((((((((((((triple7) -> rule9)) -> rule4)) -> rule7)) -> rule3)) -> rule5)) -> rule6))] @1: Anne is rough.[(((triple1) -> rule4) OR ((((triple3) -> rule8)) -> rule4))] Anne is white.[(((triple2) -> rule6) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule7)) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule7)) -> rule3)) -> rule5)) -> rule6))] Bob is nice.[(((triple4) -> rule3))] Erin is big.[(((triple5) -> rule9))] Gary is big.[(((triple10) -> rule1) OR ((triple7) -> rule9) OR ((triple9) -> rule8) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple9) -> rule5)) -> rule6)) -> rule1))] @2: Anne is kind.[(((((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule8)) -> rule4)) -> rule7))] Bob is big.[(((((triple4) -> rule3)) -> rule8))] Bob is green.[(((((triple4) -> rule3)) -> rule5))] Erin is rough.[(((((triple5) -> rule9)) -> rule4))] Gary is rough.[(((((triple10) -> rule1)) -> rule4) OR ((((triple7) -> rule9)) -> rule4) OR ((((triple9) -> rule8)) -> rule4) OR ((((((triple8) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule4))] @3: Bob is rough.[(((((((triple4) -> rule3)) -> rule8)) -> rule4))] Bob is white.[(((((((triple4) -> rule3)) -> rule5)) -> rule6))] Erin is kind.[(((((((triple5) -> rule9)) -> rule4)) -> rule7))] Gary is kind.[(((((((triple10) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule9)) -> rule4)) -> rule7) OR ((((((triple9) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4)) -> rule7) OR ((((((((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule4)) -> rule7))] @4: Erin is nice.[(((((((((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule3))] @5: Erin is green.[(((((((((((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule3)) -> rule5))]