Bob is green. Bob is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is white. Erin is blue. Erin is cold. Erin is green. Erin is white. Erin is young. Fiona is cold. Fiona is green. Fiona is nice. Fiona is white. White, nice things are cold. If something is nice then it is white. If something is cold and blue then it is kind. White, cold things are nice. If something is young and white then it is nice. If something is white then it is blue. All young things are cold. Green, kind things are blue.
Erin is young.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3 OR ((triple7) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] Charlie is cold.[(triple4 OR ((triple7 triple6) -> rule1) OR ((((triple6) -> rule2) triple6) -> rule1))] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple7 triple4) -> rule4))] Charlie is white.[(triple7 OR ((triple6) -> rule2))] Erin is blue.[(triple8 OR ((triple11) -> rule6))] Erin is cold.[(triple9 OR ((triple12) -> rule7) OR ((triple11 ((triple12 triple11) -> rule5)) -> rule1))] Erin is green.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Fiona is cold.[(triple13 OR ((triple16 triple15) -> rule1) OR ((((triple15) -> rule2) triple15) -> rule1))] Fiona is green.[(triple14)] Fiona is nice.[(triple15 OR ((triple16 triple13) -> rule4))] Fiona is white.[(triple16 OR ((triple15) -> rule2))] @1: Bob is cold.[(((triple2) -> rule7))] Charlie is kind.[(((triple4 triple3) -> rule3) OR ((triple4 ((triple7) -> rule6)) -> rule3) OR ((((triple7 triple6) -> rule1) triple3) -> rule3) OR ((((triple7 triple6) -> rule1) ((triple7) -> rule6)) -> rule3) OR ((triple4 ((((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule1) triple3) -> rule3) OR ((((triple7 triple6) -> rule1) ((((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule1) ((triple7) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule1) ((((triple6) -> rule2)) -> rule6)) -> rule3))] Erin is kind.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple11) -> rule6)) -> rule3) OR ((((triple12) -> rule7) triple8) -> rule3) OR ((((triple12) -> rule7) ((triple11) -> rule6)) -> rule3) OR ((((triple11 ((triple12 triple11) -> rule5)) -> rule1) triple8) -> rule3) OR ((((triple11 ((triple12 triple11) -> rule5)) -> rule1) ((triple11) -> rule6)) -> rule3))] Erin is nice.[(((triple11 triple9) -> rule4) OR ((triple12 triple11) -> rule5) OR ((triple11 ((triple12) -> rule7)) -> rule4))] Fiona is blue.[(((triple16) -> rule6) OR ((((triple15) -> rule2)) -> rule6))] @2: Fiona is kind.[(((triple13 ((triple16) -> rule6)) -> rule3) OR ((((triple16 triple15) -> rule1) ((triple16) -> rule6)) -> rule3) OR ((triple13 ((((triple15) -> rule2)) -> rule6)) -> rule3) OR ((((triple16 triple15) -> rule1) ((((triple15) -> rule2)) -> rule6)) -> rule3) OR ((((((triple15) -> rule2) triple15) -> rule1) ((triple16) -> rule6)) -> rule3) OR ((((((triple15) -> rule2) triple15) -> rule1) ((((triple15) -> rule2)) -> rule6)) -> rule3))]