Dave is quiet. Erin is big. Erin is kind. Fiona is blue. Fiona is kind. Gary is big. Gary is blue. Furry things are quiet. Kind things are rough. All rough, furry things are quiet. Kind, big things are furry. If Dave is rough then Dave is blue. If something is kind and rough then it is big. If Dave is kind then Dave is furry. If something is quiet then it is round.
Fiona is not round.
@0: Dave is quiet.[(triple1)] Erin is big.[(triple2 OR ((triple3 ((triple3) -> rule2)) -> rule6))] Erin is kind.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] @1: Dave is round.[(((triple1) -> rule8))] Erin is furry.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4))] Erin is rough.[(((triple3) -> rule2))] Fiona is rough.[(((triple5) -> rule2))] @2: Erin is quiet.[(((((triple3 triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule2) ((triple3 triple2) -> rule4)) -> rule3) OR ((((triple3 ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule2) ((triple3 ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule3))] Fiona is big.[(((triple5 ((triple5) -> rule2)) -> rule6))] @3: Erin is round.[(((((((triple3 triple2) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule2) ((triple3 triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((triple3 ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule2) ((triple3 ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule3)) -> rule8))] Fiona is furry.[(((triple5 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4))] @4: Fiona is quiet.[(((((triple5 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4)) -> rule1) OR ((((triple5) -> rule2) ((triple5 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4)) -> rule3))] @5: Fiona is round.[(((((((triple5 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple5) -> rule2) ((triple5 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4)) -> rule3)) -> rule8))]