Anne is big. Anne is furry. Anne is green. Anne is white. Anne is young. Bob is big. Bob is nice. Bob is young. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is white. Erin is young. Harry is white. Harry is young. If someone is young then they are green. Green, white people are red. Red people are white. All white, red people are green. All white people are young. If someone is green then they are red.
Harry is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Anne is white.[(triple4 OR ((((triple3) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule6)) -> rule3))] Anne is young.[(triple5 OR ((triple4) -> rule5) OR ((((((triple3) -> rule6)) -> rule3)) -> rule5))] Bob is big.[(triple6)] Bob is nice.[(triple7)] Bob is young.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10)] Erin is green.[(triple11 OR ((triple14) -> rule1) OR ((((triple13) -> rule5)) -> rule1))] Erin is nice.[(triple12)] Erin is white.[(triple13 OR ((((triple11) -> rule6)) -> rule3) OR ((((((triple14) -> rule1)) -> rule6)) -> rule3))] Erin is young.[(triple14 OR ((triple13) -> rule5) OR ((((((triple11) -> rule6)) -> rule3)) -> rule5))] Harry is white.[(triple15 OR ((((((triple16) -> rule1)) -> rule6)) -> rule3))] Harry is young.[(triple16 OR ((triple15) -> rule5))] @1: Anne is red.[(((triple3) -> rule6) OR ((triple3 triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple5) -> rule1) triple4) -> rule2) OR ((((((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) triple4) -> rule2))] Bob is green.[(((triple8) -> rule1))] Erin is red.[(((triple11) -> rule6) OR ((triple11 triple13) -> rule2) OR ((((triple14) -> rule1)) -> rule6) OR ((((triple14) -> rule1) triple13) -> rule2) OR ((((((triple13) -> rule5)) -> rule1)) -> rule6) OR ((((((triple13) -> rule5)) -> rule1) triple13) -> rule2))] Harry is green.[(((triple16) -> rule1) OR ((((triple15) -> rule5)) -> rule1))] @2: Bob is red.[(((((triple8) -> rule1)) -> rule6))] Harry is red.[(((((triple16) -> rule1)) -> rule6) OR ((((triple16) -> rule1) triple15) -> rule2) OR ((((((triple15) -> rule5)) -> rule1)) -> rule6) OR ((((((triple15) -> rule5)) -> rule1) triple15) -> rule2))] @3: Bob is white.[(((((((triple8) -> rule1)) -> rule6)) -> rule3))]