Dave is cold. Dave is furry. Dave is nice. Dave is young. Erin is cold. Erin is furry. Erin is nice. Erin is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is young. Gary is furry. Gary is nice. Blue people are young. If someone is cold and nice then they are kind. All quiet people are nice. If someone is kind and quiet then they are cold. If Gary is quiet and Gary is furry then Gary is cold. If Erin is blue and Erin is young then Erin is nice. Furry people are quiet. All kind, cold people are blue. If Erin is furry then Erin is kind.
Erin is blue.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((((triple2) -> rule7)) -> rule3))] Dave is young.[(triple4 OR ((((((triple1 triple3) -> rule2) triple1) -> rule8)) -> rule1) OR ((((((triple1 ((((triple2) -> rule7)) -> rule3)) -> rule2) triple1) -> rule8)) -> rule1))] Erin is cold.[(triple5 OR ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4))] Erin is furry.[(triple6)] Erin is nice.[(triple7 OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple6) -> rule9) triple5) -> rule8) triple8) -> rule6) OR ((((((triple6) -> rule9) triple5) -> rule8) ((((((triple6) -> rule9) triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8) triple8) -> rule6) OR ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8) ((((((triple6) -> rule9) triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6) -> rule9) triple5) -> rule8) ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8) ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8)) -> rule1)) -> rule6))] Erin is young.[(triple8 OR ((((((triple6) -> rule9) triple5) -> rule8)) -> rule1) OR ((((((triple5 triple7) -> rule2) triple5) -> rule8)) -> rule1) OR ((((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple5 triple7) -> rule2) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple5 ((((triple6) -> rule7)) -> rule3)) -> rule2) triple5) -> rule8)) -> rule1) OR ((((((triple5 ((((triple6) -> rule7)) -> rule3)) -> rule2) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8)) -> rule1))] Fiona is cold.[(triple9 OR ((triple11 triple13) -> rule4) OR ((triple11 ((triple10) -> rule7)) -> rule4))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11 OR ((triple9 triple12) -> rule2) OR ((triple9 ((triple13) -> rule3)) -> rule2) OR ((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2))] Fiona is nice.[(triple12 OR ((triple13) -> rule3) OR ((((triple10) -> rule7)) -> rule3))] Fiona is quiet.[(triple13 OR ((triple10) -> rule7))] Fiona is young.[(triple14 OR ((((triple11 triple9) -> rule8)) -> rule1) OR ((((triple11 ((triple11 triple13) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 triple12) -> rule2) triple9) -> rule8)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((triple11 triple13) -> rule4)) -> rule8)) -> rule1) OR ((((triple11 ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 ((triple13) -> rule3)) -> rule2) triple9) -> rule8)) -> rule1) OR ((((((triple9 triple12) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 ((triple13) -> rule3)) -> rule2) ((triple11 triple13) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 ((triple13) -> rule3)) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) triple9) -> rule8)) -> rule1) OR ((((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) ((triple11 triple13) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule1))] Gary is furry.[(triple15)] Gary is nice.[(triple16 OR ((((triple15) -> rule7)) -> rule3))] @1: Dave is kind.[(((triple1 triple3) -> rule2) OR ((triple1 ((((triple2) -> rule7)) -> rule3)) -> rule2))] Dave is quiet.[(((triple2) -> rule7))] Erin is kind.[(((triple6) -> rule9) OR ((triple5 triple7) -> rule2) OR ((triple5 ((((triple6) -> rule7)) -> rule3)) -> rule2))] Erin is quiet.[(((triple6) -> rule7))] Fiona is blue.[(((triple11 triple9) -> rule8) OR ((triple11 ((triple11 triple13) -> rule4)) -> rule8) OR ((((triple9 triple12) -> rule2) triple9) -> rule8) OR ((((triple9 triple12) -> rule2) ((triple11 triple13) -> rule4)) -> rule8) OR ((triple11 ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8) OR ((((triple9 ((triple13) -> rule3)) -> rule2) triple9) -> rule8) OR ((((triple9 triple12) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8) OR ((((triple9 ((triple13) -> rule3)) -> rule2) ((triple11 triple13) -> rule4)) -> rule8) OR ((((triple9 ((triple13) -> rule3)) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8) OR ((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) triple9) -> rule8) OR ((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) ((triple11 triple13) -> rule4)) -> rule8) OR ((((triple9 ((((triple10) -> rule7)) -> rule3)) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule4)) -> rule8))] Gary is quiet.[(((triple15) -> rule7))] @2: Dave is blue.[(((((triple1 triple3) -> rule2) triple1) -> rule8) OR ((((triple1 ((((triple2) -> rule7)) -> rule3)) -> rule2) triple1) -> rule8))] Erin is blue.[(((((triple6) -> rule9) triple5) -> rule8) OR ((((triple5 triple7) -> rule2) triple5) -> rule8) OR ((((triple6) -> rule9) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8) OR ((((triple5 triple7) -> rule2) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8) OR ((((triple5 ((((triple6) -> rule7)) -> rule3)) -> rule2) triple5) -> rule8) OR ((((triple5 ((((triple6) -> rule7)) -> rule3)) -> rule2) ((((triple6) -> rule9) ((triple6) -> rule7)) -> rule4)) -> rule8))] Gary is cold.[(((((triple15) -> rule7) triple15) -> rule5))] @3: Gary is kind.[(((((((triple15) -> rule7) triple15) -> rule5) triple16) -> rule2) OR ((((((triple15) -> rule7) triple15) -> rule5) ((((triple15) -> rule7)) -> rule3)) -> rule2))] @4: Gary is blue.[(((((((((triple15) -> rule7) triple15) -> rule5) triple16) -> rule2) ((((triple15) -> rule7) triple15) -> rule5)) -> rule8) OR ((((((((triple15) -> rule7) triple15) -> rule5) ((((triple15) -> rule7)) -> rule3)) -> rule2) ((((triple15) -> rule7) triple15) -> rule5)) -> rule8))] @5: Gary is young.[(((((((((((triple15) -> rule7) triple15) -> rule5) triple16) -> rule2) ((((triple15) -> rule7) triple15) -> rule5)) -> rule8)) -> rule1) OR ((((((((((triple15) -> rule7) triple15) -> rule5) ((((triple15) -> rule7)) -> rule3)) -> rule2) ((((triple15) -> rule7) triple15) -> rule5)) -> rule8)) -> rule1))]