Charlie is green. Charlie is quiet. Charlie is red. Erin is nice. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Gary is big. Gary is furry. Gary is green. Gary is quiet. Gary is red. If someone is big then they are green. If someone is cold and furry then they are green. If someone is furry and nice then they are green. If Erin is nice then Erin is big. If someone is quiet then they are green. All green people are cold. Cold people are nice. If someone is red then they are cold.
Erin is quiet.
@0: Charlie is green.[(triple1 OR ((triple2) -> rule5))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Erin is nice.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple11) -> rule8) OR ((triple8) -> rule6) OR ((((triple10) -> rule5)) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple7 triple9) -> rule3)) -> rule6))] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple10) -> rule5) OR ((triple5) -> rule1) OR ((triple6 triple7) -> rule2) OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple6) -> rule7)) -> rule3) OR ((((triple11) -> rule8) triple7) -> rule2) OR ((triple7 ((((triple11) -> rule8)) -> rule7)) -> rule3))] Fiona is nice.[(triple9 OR ((triple6) -> rule7) OR ((((triple11) -> rule8)) -> rule7) OR ((((triple8) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule6)) -> rule7) OR ((((((triple5) -> rule1)) -> rule6)) -> rule7))] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is green.[(triple14 OR ((triple12) -> rule1) OR ((triple15) -> rule5) OR ((((triple16) -> rule8) triple13) -> rule2) OR ((triple13 ((((triple16) -> rule8)) -> rule7)) -> rule3))] Gary is quiet.[(triple15)] Gary is red.[(triple16)] @1: Charlie is cold.[(((triple1) -> rule6) OR ((triple3) -> rule8) OR ((((triple2) -> rule5)) -> rule6))] Erin is big.[(((triple4) -> rule4))] Gary is cold.[(((triple14) -> rule6) OR ((triple16) -> rule8) OR ((((triple12) -> rule1)) -> rule6) OR ((((triple15) -> rule5)) -> rule6))] @2: Charlie is nice.[(((((triple1) -> rule6)) -> rule7) OR ((((triple3) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6)) -> rule7))] Erin is green.[(((((triple4) -> rule4)) -> rule1))] Gary is nice.[(((((triple14) -> rule6)) -> rule7) OR ((((triple16) -> rule8)) -> rule7) OR ((((((triple12) -> rule1)) -> rule6)) -> rule7) OR ((((((triple15) -> rule5)) -> rule6)) -> rule7))] @3: Erin is cold.[(((((((triple4) -> rule4)) -> rule1)) -> rule6))]