Charlie is quiet. Dave is cold. Dave is quiet. Erin is cold. Erin is green. Erin is quiet. Fiona is kind. If something is kind and rough then it is cold. All quiet, green things are kind. All kind things are big. If something is quiet then it is green. Kind things are nice. If something is cold then it is kind.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple6) -> rule4))] Erin is quiet.[(triple6)] Fiona is kind.[(triple7)] @1: Charlie is green.[(((triple1) -> rule4))] Dave is green.[(((triple3) -> rule4))] Dave is kind.[(((triple2) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule2))] Erin is kind.[(((triple4) -> rule6) OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple6) -> rule4)) -> rule2))] Fiona is big.[(((triple7) -> rule3))] Fiona is nice.[(((triple7) -> rule5))] @2: Charlie is kind.[(((triple1 ((triple1) -> rule4)) -> rule2))] Dave is big.[(((((triple2) -> rule6)) -> rule3) OR ((((triple3 ((triple3) -> rule4)) -> rule2)) -> rule3))] Dave is nice.[(((((triple2) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule4)) -> rule2)) -> rule5))] Erin is big.[(((((triple4) -> rule6)) -> rule3) OR ((((triple6 triple5) -> rule2)) -> rule3) OR ((((triple6 ((triple6) -> rule4)) -> rule2)) -> rule3))] Erin is nice.[(((((triple4) -> rule6)) -> rule5) OR ((((triple6 triple5) -> rule2)) -> rule5) OR ((((triple6 ((triple6) -> rule4)) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule3))] Charlie is nice.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule5))]