Dave is blue. Erin is cold. Erin is furry. Fiona is kind. Fiona is rough. Fiona is white. Gary is furry. White, blue things are big. Rough things are furry. All white things are blue. Kind things are white. Cold, furry things are kind. All white, kind things are rough. Cold things are kind. All furry, rough things are big.
Dave is rough.
@0: Dave is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2))] Fiona is kind.[(triple4)] Fiona is rough.[(triple5 OR ((triple6 triple4) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule6))] Fiona is white.[(triple6 OR ((triple4) -> rule4))] Gary is furry.[(triple7)] @1: Erin is kind.[(((triple2) -> rule7) OR ((triple2 triple3) -> rule5))] Fiona is blue.[(((triple6) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Fiona is furry.[(((triple5) -> rule2) OR ((((triple6 triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule6)) -> rule2))] @2: Erin is white.[(((((triple2) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4))] Fiona is big.[(((triple6 ((triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule8) OR ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((triple6 ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((((triple6 triple4) -> rule6)) -> rule2) triple5) -> rule8) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) triple5) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8))] @3: Erin is blue.[(((((((triple2) -> rule7)) -> rule4)) -> rule3) OR ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3))] Erin is rough.[(((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6))] @4: Erin is big.[(((triple3 ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3)) -> rule1) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8))]