Charlie is big. Charlie is kind. Charlie is quiet. Charlie is round. Dave is kind. Dave is rough. Erin is big. Erin is furry. Erin is rough. Erin is round. Erin is smart. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. If something is big then it is smart. If Dave is smart then Dave is round. All kind things are big. All furry, round things are kind. If something is round and smart then it is rough. All smart, rough things are furry. If Fiona is quiet then Fiona is round. If Erin is round then Erin is big.
Dave is not quiet.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3))] Charlie is kind.[(triple2 OR ((((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule5)) -> rule6) triple4) -> rule4))] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6 OR ((((((((triple5) -> rule3)) -> rule1)) -> rule2) ((((triple5) -> rule3)) -> rule1)) -> rule5))] Erin is big.[(triple7 OR ((triple10) -> rule8) OR ((((triple8 triple10) -> rule4)) -> rule3) OR ((((((triple11 triple9) -> rule6) triple10) -> rule4)) -> rule3) OR ((((((triple11 ((triple10 triple11) -> rule5)) -> rule6) triple10) -> rule4)) -> rule3))] Erin is furry.[(triple8 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple10 triple11) -> rule5)) -> rule6) OR ((((triple7) -> rule1) triple9) -> rule6) OR ((((triple7) -> rule1) ((triple10 triple11) -> rule5)) -> rule6) OR ((triple11 ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule1) triple9) -> rule6) OR ((((triple7) -> rule1) ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule1) ((triple10 triple11) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule1) ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) OR ((triple11 ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) OR ((((triple7) -> rule1) ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule1) ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6))] Erin is rough.[(triple9 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple7) -> rule1)) -> rule5) OR ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5) OR ((triple10 ((((((triple8 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule5))] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple7) -> rule1) OR ((((triple10) -> rule8)) -> rule1) OR ((((((triple8 triple10) -> rule4)) -> rule3)) -> rule1))] Fiona is furry.[(triple12 OR ((((((triple13) -> rule3)) -> rule1) triple14) -> rule6) OR ((((((triple13) -> rule3)) -> rule1) ((triple15 ((((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule6))] Fiona is kind.[(triple13 OR ((triple12 triple15) -> rule4))] Fiona is rough.[(triple14 OR ((triple15 ((((triple13) -> rule3)) -> rule1)) -> rule5) OR ((triple15 ((((((triple12 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule5))] Fiona is round.[(triple15)] @1: Charlie is smart.[(((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Dave is big.[(((triple5) -> rule3))] Erin is kind.[(((triple8 triple10) -> rule4) OR ((((triple11 triple9) -> rule6) triple10) -> rule4) OR ((((triple11 ((triple10 triple11) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((triple7) -> rule1) triple9) -> rule6) triple10) -> rule4) OR ((((((triple7) -> rule1) ((triple10 triple11) -> rule5)) -> rule6) triple10) -> rule4) OR ((((triple11 ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((((triple10) -> rule8)) -> rule1) triple9) -> rule6) triple10) -> rule4) OR ((((((triple7) -> rule1) ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((((triple10) -> rule8)) -> rule1) ((triple10 triple11) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((((triple10) -> rule8)) -> rule1) ((triple10 ((triple7) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4) OR ((((triple11 ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((triple7) -> rule1) ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((((triple10) -> rule8)) -> rule1) ((triple10 ((((triple10) -> rule8)) -> rule1)) -> rule5)) -> rule6) triple10) -> rule4))] Fiona is big.[(((triple13) -> rule3) OR ((((triple12 triple15) -> rule4)) -> rule3))] @2: Charlie is rough.[(((triple4 ((triple1) -> rule1)) -> rule5) OR ((triple4 ((((triple2) -> rule3)) -> rule1)) -> rule5))] Dave is smart.[(((((triple5) -> rule3)) -> rule1))] Fiona is smart.[(((((triple13) -> rule3)) -> rule1) OR ((((((triple12 triple15) -> rule4)) -> rule3)) -> rule1))] @3: Charlie is furry.[(((((triple1) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple4 ((triple1) -> rule1)) -> rule5)) -> rule6) OR ((((triple1) -> rule1) ((triple4 ((((triple2) -> rule3)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple4 ((((triple2) -> rule3)) -> rule1)) -> rule5)) -> rule6))] Dave is furry.[(((((((triple5) -> rule3)) -> rule1) triple6) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((((((triple5) -> rule3)) -> rule1)) -> rule2) ((((triple5) -> rule3)) -> rule1)) -> rule5)) -> rule6))] Dave is round.[(((((((triple5) -> rule3)) -> rule1)) -> rule2))]