Anne is quiet. Anne is rough. Erin is nice. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Harry is red. Harry is rough. All nice, big people are quiet. Quiet people are round. Rough, big people are furry. Big people are rough. If someone is furry then they are nice. If someone is rough then they are big. If Harry is round then Harry is big.
Anne is big.
@0: Anne is quiet.[(triple1 OR ((((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule5) ((triple2) -> rule6)) -> rule1))] Anne is rough.[(triple2)] Erin is nice.[(triple3 OR ((((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5))] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((((triple3 ((triple4) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5) ((triple4) -> rule6)) -> rule1)) -> rule2))] Fiona is big.[(triple6 OR ((triple11) -> rule6))] Fiona is furry.[(triple7 OR ((triple11 triple6) -> rule3) OR ((triple11 ((triple11) -> rule6)) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3) OR ((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3))] Fiona is nice.[(triple8 OR ((triple7) -> rule5) OR ((((triple11 triple6) -> rule3)) -> rule5) OR ((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3)) -> rule5))] Fiona is quiet.[(triple9 OR ((triple8 triple6) -> rule1) OR ((triple8 ((triple11) -> rule6)) -> rule1) OR ((((triple7) -> rule5) triple6) -> rule1) OR ((((triple7) -> rule5) ((triple11) -> rule6)) -> rule1) OR ((((((triple11 triple6) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((triple11 triple6) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1) OR ((((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1) OR ((((((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1) OR ((((((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1))] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple6) -> rule4))] Fiona is round.[(triple12 OR ((triple9) -> rule2) OR ((((triple8 triple6) -> rule1)) -> rule2) OR ((((triple8 ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple11 triple6) -> rule3)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple11 triple6) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule4) ((triple11) -> rule6)) -> rule3)) -> rule5) ((triple11) -> rule6)) -> rule1)) -> rule2))] Harry is red.[(triple13)] Harry is rough.[(triple14)] @1: Anne is big.[(((triple2) -> rule6))] Anne is round.[(((triple1) -> rule2) OR ((((((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule2))] Erin is big.[(((triple4) -> rule6))] Harry is big.[(((triple14) -> rule6))] @2: Anne is furry.[(((triple2 ((triple2) -> rule6)) -> rule3))] Erin is furry.[(((triple4 ((triple4) -> rule6)) -> rule3))] Erin is quiet.[(((triple3 ((triple4) -> rule6)) -> rule1) OR ((((((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5) ((triple4) -> rule6)) -> rule1))] Harry is furry.[(((triple14 ((triple14) -> rule6)) -> rule3))] @3: Anne is nice.[(((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule5))] Harry is nice.[(((((triple14 ((triple14) -> rule6)) -> rule3)) -> rule5))] @4: Harry is quiet.[(((((((triple14 ((triple14) -> rule6)) -> rule3)) -> rule5) ((triple14) -> rule6)) -> rule1))] @5: Harry is round.[(((((((((triple14 ((triple14) -> rule6)) -> rule3)) -> rule5) ((triple14) -> rule6)) -> rule1)) -> rule2))]