Dave is big. Dave is young. Erin is big. Fiona is cold. Fiona is round. Fiona is smart. Gary is big. Gary is blue. Gary is cold. Gary is red. Gary is smart. Gary is young. Smart things are big. Big things are red. All blue things are smart. Red things are blue. All cold, smart things are round. All big, cold things are round. All smart, blue things are cold. All round, young things are blue.
Fiona is not red.
@0: Dave is big.[(triple1)] Dave is young.[(triple2)] Erin is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple6 ((((((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule7))] Fiona is round.[(triple5 OR ((triple4 triple6) -> rule5) OR ((((triple6) -> rule1) triple4) -> rule6) OR ((((triple6 ((((((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule7) triple6) -> rule5) OR ((((triple6) -> rule1) ((triple6 ((((((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6))] Fiona is smart.[(triple6)] Gary is big.[(triple7 OR ((triple11) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3)) -> rule1))] Gary is blue.[(triple8 OR ((triple10) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple7 triple9) -> rule6) triple12) -> rule8) OR ((((triple9 triple11) -> rule5) triple12) -> rule8) OR ((((((triple11) -> rule1)) -> rule2)) -> rule4) OR ((((((triple11) -> rule1) triple9) -> rule6) triple12) -> rule8))] Gary is cold.[(triple9 OR ((triple11 triple8) -> rule7) OR ((triple11 ((triple10) -> rule4)) -> rule7) OR ((((triple8) -> rule3) triple8) -> rule7) OR ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7) OR ((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7) OR ((((((triple10) -> rule4)) -> rule3) triple8) -> rule7) OR ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) OR ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) OR ((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) OR ((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7) OR ((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7))] Gary is red.[(triple10 OR ((triple7) -> rule2) OR ((((triple11) -> rule1)) -> rule2) OR ((((((triple8) -> rule3)) -> rule1)) -> rule2))] Gary is smart.[(triple11 OR ((triple8) -> rule3) OR ((((triple10) -> rule4)) -> rule3) OR ((((((triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((triple7 triple9) -> rule6) triple12) -> rule8)) -> rule3))] Gary is young.[(triple12)] @1: Dave is red.[(((triple1) -> rule2))] Erin is red.[(((triple3) -> rule2))] Fiona is big.[(((triple6) -> rule1))] Gary is round.[(((triple7 triple9) -> rule6) OR ((triple9 triple11) -> rule5) OR ((triple7 ((triple11 triple8) -> rule7)) -> rule6) OR ((triple9 ((triple8) -> rule3)) -> rule5) OR ((((triple11) -> rule1) triple9) -> rule6) OR ((((triple11 triple8) -> rule7) triple11) -> rule5) OR ((((triple11) -> rule1) ((triple11 triple8) -> rule7)) -> rule6) OR ((((triple11 triple8) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((triple7 ((triple11 ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((triple8) -> rule3) triple8) -> rule7)) -> rule6) OR ((triple9 ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3)) -> rule1) triple9) -> rule6) OR ((((triple11 ((triple10) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((triple8) -> rule3) triple8) -> rule7) triple11) -> rule5) OR ((triple7 ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple11 ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple8) -> rule3) triple8) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((triple11 triple8) -> rule7)) -> rule6) OR ((((triple11 triple8) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((triple11 ((triple10) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) triple8) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7) triple11) -> rule5) OR ((((triple11) -> rule1) ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((triple11 ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((triple8) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((triple10) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) triple8) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3)) -> rule1) ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((triple7 ((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((((triple10) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((triple9 ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) triple9) -> rule6) OR ((((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) triple8) -> rule7) triple11) -> rule5) OR ((triple7 ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((triple10) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((triple11 triple8) -> rule7)) -> rule6) OR ((((triple11 triple8) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) triple8) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) triple11) -> rule5) OR ((triple7 ((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((triple11 ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((triple8) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((triple10) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) triple8) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) triple8) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((triple11) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((triple10) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) triple8) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((triple7 ((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7) triple11) -> rule5) OR ((triple7 ((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) triple11) -> rule5) OR ((triple7 ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((triple7 ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((triple7 ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7)) -> rule6) OR ((((triple11 ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) triple8) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) triple11) -> rule5) OR ((((triple11) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7)) -> rule6) OR ((((((triple8) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((triple8) -> rule3)) -> rule5) OR ((((((triple8) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple11) -> rule1)) -> rule2)) -> rule4)) -> rule7) ((((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule5))] @2: Dave is blue.[(((((triple1) -> rule2)) -> rule4))] Erin is blue.[(((((triple3) -> rule2)) -> rule4))] Fiona is red.[(((((triple6) -> rule1)) -> rule2))] @3: Dave is smart.[(((((((triple1) -> rule2)) -> rule4)) -> rule3))] Erin is smart.[(((((((triple3) -> rule2)) -> rule4)) -> rule3))] Fiona is blue.[(((((((triple6) -> rule1)) -> rule2)) -> rule4))] @4: Dave is cold.[(((((((((triple1) -> rule2)) -> rule4)) -> rule3) ((((triple1) -> rule2)) -> rule4)) -> rule7))] Erin is cold.[(((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule7))] @5: Dave is round.[(((triple1 ((((((((triple1) -> rule2)) -> rule4)) -> rule3) ((((triple1) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple1) -> rule2)) -> rule4)) -> rule3) ((((triple1) -> rule2)) -> rule4)) -> rule7) ((((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule5))] Erin is round.[(((triple3 ((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule7) ((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule5))]