Erin is big. Erin is kind. Erin is red. Erin is round. Erin is young. Harry is kind. Harry is young. If someone is red and young then they are rough. Young people are red. If Erin is red then Erin is rough. Red people are round. Red, rough people are quiet. If someone is big then they are red.
Harry is quiet.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3 OR ((triple1) -> rule6) OR ((triple5) -> rule2))] Erin is round.[(triple4 OR ((triple3) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Erin is young.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Erin is rough.[(((triple3) -> rule3) OR ((triple3 triple5) -> rule1) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple1) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule1))] Harry is red.[(((triple7) -> rule2))] @2: Erin is quiet.[(((triple3 ((triple3) -> rule3)) -> rule5) OR ((triple3 ((triple3 triple5) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((triple3 triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule2) ((triple3) -> rule3)) -> rule5) OR ((((triple5) -> rule2) ((triple3 triple5) -> rule1)) -> rule5) OR ((triple3 ((((triple1) -> rule6)) -> rule3)) -> rule5) OR ((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) OR ((triple3 ((((triple1) -> rule6) triple5) -> rule1)) -> rule5) OR ((triple3 ((((triple5) -> rule2) triple5) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6) triple5) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((((triple5) -> rule2) triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule2) ((((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple5) -> rule2) ((((triple1) -> rule6) triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule2) ((((triple5) -> rule2) triple5) -> rule1)) -> rule5))] Harry is rough.[(((((triple7) -> rule2) triple7) -> rule1))] Harry is round.[(((((triple7) -> rule2)) -> rule4))] @3: Harry is quiet.[(((((triple7) -> rule2) ((((triple7) -> rule2) triple7) -> rule1)) -> rule5))]