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