Bob is green. Bob is smart. Bob is white. Charlie is cold. Charlie is not smart. Erin is cold. Erin is quiet. Erin is white. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. All red people are white. If Bob is rough then Bob is cold. If someone is rough then they are red. All red people are green. Smart people are rough. If Fiona is not cold then Fiona is not green. If someone is green and red then they are not quiet. If Charlie is smart and Charlie is not rough then Charlie is not white.
Charlie is smart.
@0: Bob is green.[(triple1 OR ((((((triple2) -> rule5)) -> rule3)) -> rule4))] Bob is smart.[(triple2)] Bob is white.[(triple3 OR ((((((triple2) -> rule5)) -> rule3)) -> rule1))] Charlie is cold.[(triple4)] Charlie is not smart.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple11) -> rule4) OR ((((triple12) -> rule3)) -> rule4))] Fiona is red.[(triple11 OR ((triple12) -> rule3))] Fiona is rough.[(triple12)] @1: Bob is rough.[(((triple2) -> rule5))] Fiona is not quiet.[(((triple10 triple11) -> rule7) OR ((triple10 ((triple12) -> rule3)) -> rule7) OR ((((triple11) -> rule4) triple11) -> rule7) OR ((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7) OR ((((((triple12) -> rule3)) -> rule4) triple11) -> rule7) OR ((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7))] Fiona is white.[(((triple11) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule5)) -> rule2))] Bob is red.[(((((triple2) -> rule5)) -> rule3))] @3: Bob is not quiet.[(((triple1 ((((triple2) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple2) -> rule5)) -> rule3)) -> rule4) ((((triple2) -> rule5)) -> rule3)) -> rule7))]