Bob is green. Bob is young. Charlie is round. Charlie is young. Erin is kind. Erin is white. Erin is young. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is quiet. All round things are cold. If something is young then it is cold. If something is green and white then it is round. All kind, white things are quiet. Round, quiet things are white. Green, young things are white. If something is cold then it is kind. If something is round and kind then it is green.
Charlie is not white.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Erin is kind.[(triple5 OR ((((triple7) -> rule2)) -> rule7))] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple10 OR ((triple8) -> rule7))] Fiona is not green.[(triple9)] Fiona is quiet.[(triple11)] @1: Bob is cold.[(((triple2) -> rule2) OR ((((triple1 ((triple1 triple2) -> rule6)) -> rule3)) -> rule1))] Bob is white.[(((triple1 triple2) -> rule6))] Charlie is cold.[(((triple3) -> rule1) OR ((triple4) -> rule2))] Erin is cold.[(((triple7) -> rule2))] Erin is quiet.[(((triple5 triple6) -> rule4) OR ((((((triple7) -> rule2)) -> rule7) triple6) -> rule4))] @2: Bob is kind.[(((((triple2) -> rule2)) -> rule7) OR ((((((triple1 ((triple1 triple2) -> rule6)) -> rule3)) -> rule1)) -> rule7))] Bob is round.[(((triple1 ((triple1 triple2) -> rule6)) -> rule3))] Charlie is kind.[(((((triple3) -> rule1)) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] @3: Bob is quiet.[(((((((triple2) -> rule2)) -> rule7) ((triple1 triple2) -> rule6)) -> rule4) OR ((((((((triple1 ((triple1 triple2) -> rule6)) -> rule3)) -> rule1)) -> rule7) ((triple1 triple2) -> rule6)) -> rule4))] Charlie is green.[(((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule8))] @4: Charlie is white.[(((((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) triple4) -> rule6) OR ((((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule8) triple4) -> rule6))] @5: Charlie is quiet.[(((((((triple3) -> rule1)) -> rule7) ((((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule7) ((((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((triple3 ((((triple4) -> rule2)) -> rule7)) -> rule8) triple4) -> rule6)) -> rule4))]