Charlie is kind. Charlie is nice. Dave is blue. Dave is nice. Dave is white. Erin is kind. Fiona is kind. If something is kind then it is cold. If something is blue and smart then it is nice. All kind, blue things are smart. If something is white and kind then it is smart. Round, kind things are nice. Kind, smart things are white. White, kind things are blue. Kind, cold things are smart.
Dave is smart.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2 OR ((((((triple1 ((triple1 ((triple1) -> rule1)) -> rule8)) -> rule6) triple1) -> rule7) ((triple1 ((triple1) -> rule1)) -> rule8)) -> rule2))] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is white.[(triple5)] Erin is kind.[(triple6)] Fiona is kind.[(triple7)] @1: Charlie is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple6) -> rule1))] Fiona is cold.[(((triple7) -> rule1))] @2: Charlie is smart.[(((triple1 ((triple1) -> rule1)) -> rule8))] Erin is smart.[(((triple6 ((triple6) -> rule1)) -> rule8))] Fiona is smart.[(((triple7 ((triple7) -> rule1)) -> rule8))] @3: Charlie is white.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule8)) -> rule6))] Erin is white.[(((triple6 ((triple6 ((triple6) -> rule1)) -> rule8)) -> rule6))] Fiona is white.[(((triple7 ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule6))] @4: Charlie is blue.[(((((triple1 ((triple1 ((triple1) -> rule1)) -> rule8)) -> rule6) triple1) -> rule7))] Erin is blue.[(((((triple6 ((triple6 ((triple6) -> rule1)) -> rule8)) -> rule6) triple6) -> rule7))] Fiona is blue.[(((((triple7 ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule6) triple7) -> rule7))] @5: Erin is nice.[(((((((triple6 ((triple6 ((triple6) -> rule1)) -> rule8)) -> rule6) triple6) -> rule7) ((triple6 ((triple6) -> rule1)) -> rule8)) -> rule2))] Fiona is nice.[(((((((triple7 ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule6) triple7) -> rule7) ((triple7 ((triple7) -> rule1)) -> rule8)) -> rule2))]