Dave is quiet. Erin is big. Erin is quiet. Erin is red. Erin is rough. Erin is young. Fiona is big. Fiona is quiet. Fiona is red. Fiona is smart. Quiet people are smart. Young, round people are big. Quiet people are young. If someone is big then they are young. If someone is smart and quiet then they are round. If Fiona is big and Fiona is smart then Fiona is rough. Smart people are rough. If Dave is young and Dave is smart then Dave is round.
Erin is not round.
@0: Dave is quiet.[(triple1)] Erin is big.[(triple2 OR ((triple6 ((((triple3) -> rule1) triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((((triple3) -> rule1) triple3) -> rule5)) -> rule2))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5 OR ((((triple3) -> rule1)) -> rule7))] Erin is young.[(triple6 OR ((triple2) -> rule4) OR ((triple3) -> rule3))] Fiona is big.[(triple7 OR ((((triple8) -> rule3) ((triple10 triple8) -> rule5)) -> rule2) OR ((((triple8) -> rule3) ((((triple8) -> rule1) triple8) -> rule5)) -> rule2))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule1))] @1: Dave is smart.[(((triple1) -> rule1))] Dave is young.[(((triple1) -> rule3))] Erin is smart.[(((triple3) -> rule1))] Fiona is rough.[(((triple10) -> rule7) OR ((triple7 triple10) -> rule6) OR ((((triple8) -> rule1)) -> rule7) OR ((triple7 ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule3) ((triple10 triple8) -> rule5)) -> rule2) triple10) -> rule6) OR ((((((triple8) -> rule3) ((triple10 triple8) -> rule5)) -> rule2) ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule3) ((((triple8) -> rule1) triple8) -> rule5)) -> rule2) triple10) -> rule6) OR ((((((triple8) -> rule3) ((((triple8) -> rule1) triple8) -> rule5)) -> rule2) ((triple8) -> rule1)) -> rule6))] Fiona is round.[(((triple10 triple8) -> rule5) OR ((((triple8) -> rule1) triple8) -> rule5))] Fiona is young.[(((triple7) -> rule4) OR ((triple8) -> rule3))] @2: Dave is rough.[(((((triple1) -> rule1)) -> rule7))] Dave is round.[(((((triple1) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule3) ((triple1) -> rule1)) -> rule8))] Erin is round.[(((((triple3) -> rule1) triple3) -> rule5))] @3: Dave is big.[(((((triple1) -> rule3) ((((triple1) -> rule1) triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) ((triple1) -> rule1)) -> rule8)) -> rule2))]