Anne is big. Anne is furry. Anne is green. Anne is not kind. Bob is furry. Bob is green. Bob is red. Bob is round. Erin is not blue. Erin is red. Gary is not furry. Big people are round. All blue people are not round. If someone is big and round then they are green. If Bob is not red then Bob is not big. If Bob is round then Bob is big. Red people are kind. If Gary is not blue then Gary is furry. If someone is kind and green then they are furry. Kind people are big.
Erin is blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple1 ((triple1) -> rule1)) -> rule3))] Anne is not kind.[(triple4)] Bob is furry.[(triple5 OR ((((triple7) -> rule6) triple6) -> rule8) OR ((((triple7) -> rule6) ((((triple8) -> rule5) triple8) -> rule3)) -> rule8) OR ((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule9) triple8) -> rule3)) -> rule8) OR ((((triple7) -> rule6) ((((triple8) -> rule5) ((((((triple7) -> rule6)) -> rule9)) -> rule1)) -> rule3)) -> rule8) OR ((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule9) ((((((triple7) -> rule6)) -> rule9)) -> rule1)) -> rule3)) -> rule8))] Bob is green.[(triple6 OR ((((triple8) -> rule5) triple8) -> rule3) OR ((((((triple7) -> rule6)) -> rule9) triple8) -> rule3) OR ((((triple8) -> rule5) ((((((triple7) -> rule6)) -> rule9)) -> rule1)) -> rule3) OR ((((((triple7) -> rule6)) -> rule9) ((((((triple7) -> rule6)) -> rule9)) -> rule1)) -> rule3))] Bob is red.[(triple7)] Bob is round.[(triple8 OR ((((((triple7) -> rule6)) -> rule9)) -> rule1))] Erin is not blue.[(triple9)] Erin is red.[(triple10)] Gary is not furry.[(triple11)] @1: Anne is round.[(((triple1) -> rule1))] Bob is big.[(((triple8) -> rule5) OR ((((triple7) -> rule6)) -> rule9))] Bob is kind.[(((triple7) -> rule6))] Erin is kind.[(((triple10) -> rule6))] @2: Erin is big.[(((((triple10) -> rule6)) -> rule9))] @3: Erin is round.[(((((((triple10) -> rule6)) -> rule9)) -> rule1))] @4: Erin is green.[(((((((triple10) -> rule6)) -> rule9) ((((((triple10) -> rule6)) -> rule9)) -> rule1)) -> rule3))] @5: Erin is furry.[(((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule9) ((((((triple10) -> rule6)) -> rule9)) -> rule1)) -> rule3)) -> rule8))]