Charlie is cold. Charlie is white. Dave is blue. Dave is cold. Dave is quiet. Dave is rough. Erin is blue. Erin is cold. Erin is rough. Erin is white. Fiona is rough. Fiona is round. Round people are blue. If someone is cold then they are young. All blue people are round. If someone is white and quiet then they are cold. All round people are quiet. All white, young people are round. All round, blue people are white. Cold, white people are quiet.
Charlie is not round.
@0: Charlie is cold.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4 OR ((((((triple3) -> rule3) triple3) -> rule7) triple5) -> rule4) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((triple3) -> rule3)) -> rule5)) -> rule4))] Dave is quiet.[(triple5 OR ((((triple3) -> rule3)) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple3) -> rule7)) -> rule8))] Dave is rough.[(triple6)] Erin is blue.[(triple7 OR ((((triple10 ((triple8) -> rule2)) -> rule6)) -> rule1))] Erin is cold.[(triple8 OR ((triple10 ((((triple7) -> rule3)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple7) -> rule7) ((((triple7) -> rule3)) -> rule5)) -> rule4))] Erin is rough.[(triple9)] Erin is white.[(triple10 OR ((((triple7) -> rule3) triple7) -> rule7))] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Charlie is quiet.[(((triple1 triple2) -> rule8) OR ((((triple2 ((triple1) -> rule2)) -> rule6)) -> rule5))] Charlie is young.[(((triple1) -> rule2))] Dave is round.[(((triple3) -> rule3))] Dave is young.[(((triple4) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple5) -> rule4)) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((((triple3) -> rule3)) -> rule5)) -> rule4)) -> rule2))] Erin is quiet.[(((triple8 triple10) -> rule8) OR ((((triple7) -> rule3)) -> rule5) OR ((((triple10 ((triple8) -> rule2)) -> rule6)) -> rule5) OR ((triple8 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8))] Erin is round.[(((triple7) -> rule3) OR ((triple10 ((triple8) -> rule2)) -> rule6))] Erin is young.[(((triple8) -> rule2) OR ((((triple10 ((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple7) -> rule3) triple7) -> rule7) ((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule2))] Fiona is blue.[(((triple12) -> rule1))] Fiona is quiet.[(((triple12) -> rule5))] @2: Charlie is round.[(((triple2 ((triple1) -> rule2)) -> rule6))] Dave is white.[(((((triple3) -> rule3) triple3) -> rule7))] Fiona is white.[(((triple12 ((triple12) -> rule1)) -> rule7))] @3: Charlie is blue.[(((((triple2 ((triple1) -> rule2)) -> rule6)) -> rule1))] Fiona is cold.[(((((triple12 ((triple12) -> rule1)) -> rule7) ((triple12) -> rule5)) -> rule4))] @4: Fiona is young.[(((((((triple12 ((triple12) -> rule1)) -> rule7) ((triple12) -> rule5)) -> rule4)) -> rule2))]