Erin is furry. Erin is rough. Erin is round. Erin is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Gary is kind. Gary is young. Harry is cold. Harry is kind. Harry is red. Harry is rough. All young, furry things are red. If Harry is kind then Harry is cold. If something is kind and red then it is round. Rough things are red. All furry, young things are round. Young things are furry. Red, round things are cold. If something is red then it is kind.
Harry is not kind.
@0: Erin is furry.[(triple1 OR ((triple4) -> rule6))] Erin is rough.[(triple2)] Erin is round.[(triple3 OR ((triple1 triple4) -> rule5) OR ((((triple4) -> rule6) triple4) -> rule5) OR ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule4)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3) OR ((((((triple4 triple1) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3) OR ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3) OR ((((((triple2) -> rule4)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3) OR ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3) OR ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3))] Erin is young.[(triple4)] Fiona is cold.[(triple5 OR ((triple8 ((triple6 triple10) -> rule5)) -> rule7) OR ((triple8 ((triple7 triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((triple6 triple10) -> rule5)) -> rule7) OR ((((triple9) -> rule4) ((triple7 triple8) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((triple6 triple10) -> rule5)) -> rule7) OR ((((triple10 triple6) -> rule1) ((triple7 triple8) -> rule3)) -> rule7) OR ((triple8 ((triple7 ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((triple8 ((triple7 ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((triple10) -> rule6) triple10) -> rule5)) -> rule7) OR ((triple8 ((((triple8) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((triple8) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((triple8 ((((triple8) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((triple7 ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((triple7 ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((triple10) -> rule6) triple10) -> rule5)) -> rule7) OR ((((triple9) -> rule4) ((((triple8) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((triple7 ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((triple7 ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((triple10) -> rule6) triple10) -> rule5)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((triple8) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((triple6 triple10) -> rule5)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((triple7 triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((triple8) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((triple8) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((triple8) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((triple8) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((triple7 ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((triple7 ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((triple10) -> rule6) triple10) -> rule5)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((triple8) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((triple8) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((triple8) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((triple7 ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((((triple9) -> rule4)) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 triple6) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((triple8) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((((triple9) -> rule4)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((triple8 ((((((triple9) -> rule4)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 triple6) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((triple7 ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 triple6) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((triple7 ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple9) -> rule4)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((((triple9) -> rule4)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((triple8) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((triple8) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((triple7 ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple9) -> rule4)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((triple8) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple9) -> rule4)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((triple8 ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) triple8) -> rule3)) -> rule7) OR ((((triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 triple6) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule1) ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3)) -> rule7))] Fiona is furry.[(triple6 OR ((triple10) -> rule6))] Fiona is kind.[(triple7 OR ((triple8) -> rule8) OR ((((triple9) -> rule4)) -> rule8) OR ((((triple10 triple6) -> rule1)) -> rule8) OR ((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8))] Fiona is red.[(triple8 OR ((triple9) -> rule4) OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple10) -> rule6)) -> rule1))] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] Gary is kind.[(triple11 OR ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule8))] Gary is young.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule2) OR ((((triple15) -> rule8)) -> rule2) OR ((triple15 ((triple14 triple15) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((triple14 triple15) -> rule3)) -> rule7) OR ((((((triple16) -> rule4)) -> rule8)) -> rule2) OR ((triple15 ((triple14 ((triple16) -> rule4)) -> rule3)) -> rule7) OR ((triple15 ((((triple15) -> rule8) triple15) -> rule3)) -> rule7) OR ((triple15 ((((triple15) -> rule8) ((triple16) -> rule4)) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((triple14 ((triple16) -> rule4)) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((((triple15) -> rule8) triple15) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((((triple15) -> rule8) ((triple16) -> rule4)) -> rule3)) -> rule7) OR ((triple15 ((((((triple16) -> rule4)) -> rule8) triple15) -> rule3)) -> rule7) OR ((triple15 ((((((triple16) -> rule4)) -> rule8) ((triple16) -> rule4)) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((((((triple16) -> rule4)) -> rule8) triple15) -> rule3)) -> rule7) OR ((((triple16) -> rule4) ((((((triple16) -> rule4)) -> rule8) ((triple16) -> rule4)) -> rule3)) -> rule7))] Harry is kind.[(triple14 OR ((triple15) -> rule8) OR ((((triple16) -> rule4)) -> rule8))] Harry is red.[(triple15 OR ((triple16) -> rule4))] Harry is rough.[(triple16)] @1: Erin is red.[(((triple2) -> rule4) OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1))] Fiona is round.[(((triple6 triple10) -> rule5) OR ((triple7 triple8) -> rule3) OR ((triple7 ((triple9) -> rule4)) -> rule3) OR ((triple7 ((triple10 triple6) -> rule1)) -> rule3) OR ((((triple10) -> rule6) triple10) -> rule5) OR ((((triple8) -> rule8) triple8) -> rule3) OR ((((triple8) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((triple8) -> rule8) ((triple10 triple6) -> rule1)) -> rule3) OR ((triple7 ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3) OR ((((((triple9) -> rule4)) -> rule8) triple8) -> rule3) OR ((((((triple10 triple6) -> rule1)) -> rule8) triple8) -> rule3) OR ((((triple8) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3) OR ((((((triple9) -> rule4)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple9) -> rule4)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3) OR ((((((triple10 triple6) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3) OR ((((((triple10 triple6) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3) OR ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) triple8) -> rule3) OR ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 triple6) -> rule1)) -> rule3) OR ((((((triple10 ((triple10) -> rule6)) -> rule1)) -> rule8) ((triple10 ((triple10) -> rule6)) -> rule1)) -> rule3))] Gary is furry.[(((triple12) -> rule6))] Harry is round.[(((triple14 triple15) -> rule3) OR ((triple14 ((triple16) -> rule4)) -> rule3) OR ((((triple15) -> rule8) triple15) -> rule3) OR ((((triple15) -> rule8) ((triple16) -> rule4)) -> rule3) OR ((((((triple16) -> rule4)) -> rule8) triple15) -> rule3) OR ((((((triple16) -> rule4)) -> rule8) ((triple16) -> rule4)) -> rule3))] @2: Erin is cold.[(((((triple2) -> rule4) triple3) -> rule7) OR ((((triple4 triple1) -> rule1) triple3) -> rule7) OR ((((triple2) -> rule4) ((triple1 triple4) -> rule5)) -> rule7) OR ((((triple4 triple1) -> rule1) ((triple1 triple4) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) triple3) -> rule7) OR ((((triple2) -> rule4) ((((triple4) -> rule6) triple4) -> rule5)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((triple4) -> rule6) triple4) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((triple1 triple4) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((triple4) -> rule6) triple4) -> rule5)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple2) -> rule4)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 triple1) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 triple1) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule7))] Erin is kind.[(((((triple2) -> rule4)) -> rule8) OR ((((triple4 triple1) -> rule1)) -> rule8) OR ((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule8))] Gary is red.[(((triple12 ((triple12) -> rule6)) -> rule1))] Gary is round.[(((((triple12) -> rule6) triple12) -> rule5) OR ((triple11 ((triple12 ((triple12) -> rule6)) -> rule1)) -> rule3) OR ((((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule8) ((triple12 ((triple12) -> rule6)) -> rule1)) -> rule3))] @3: Gary is cold.[(((((triple12 ((triple12) -> rule6)) -> rule1) ((((triple12) -> rule6) triple12) -> rule5)) -> rule7) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((triple11 ((triple12 ((triple12) -> rule6)) -> rule1)) -> rule3)) -> rule7) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule8) ((triple12 ((triple12) -> rule6)) -> rule1)) -> rule3)) -> rule7))]