Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Dave is nice. Dave is red. Dave is smart. Dave is white. Fiona is cold. Fiona is nice. Fiona is not smart. Harry is nice. Harry is white. All white, smart people are red. If someone is nice and white then they are green. White, smart people are green. Green, cold people are smart. All smart, red people are cold. Red, smart people are cold. If someone is white and green then they are cold. All cold people are nice.
Harry is round.
@0: Charlie is cold.[(triple1 OR ((triple4 triple6) -> rule6) OR ((triple6 triple4) -> rule5))] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple1) -> rule8) OR ((((triple4 triple6) -> rule6)) -> rule8) OR ((((triple6 triple4) -> rule5)) -> rule8))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple2 triple1) -> rule4))] Dave is nice.[(triple7 OR ((((triple8 triple9) -> rule6)) -> rule8) OR ((((triple9 triple8) -> rule5)) -> rule8) OR ((((triple10 ((triple10 triple9) -> rule3)) -> rule7)) -> rule8) OR ((((triple9 ((triple10 triple9) -> rule1)) -> rule5)) -> rule8) OR ((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule8))] Dave is red.[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((((triple7 triple10) -> rule2) ((triple10 ((triple7 triple10) -> rule2)) -> rule7)) -> rule4)) -> rule1))] Dave is smart.[(triple9 OR ((((triple7 triple10) -> rule2) ((triple10 ((triple7 triple10) -> rule2)) -> rule7)) -> rule4))] Dave is white.[(triple10)] Fiona is cold.[(triple11)] Fiona is nice.[(triple12 OR ((triple11) -> rule8))] Fiona is not smart.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)] @1: Dave is cold.[(((triple8 triple9) -> rule6) OR ((triple9 triple8) -> rule5) OR ((triple10 ((triple10 triple9) -> rule3)) -> rule7) OR ((triple10 ((triple7 triple10) -> rule2)) -> rule7) OR ((triple9 ((triple10 triple9) -> rule1)) -> rule5) OR ((((triple10 triple9) -> rule1) triple9) -> rule6))] Dave is green.[(((triple10 triple9) -> rule3) OR ((triple7 triple10) -> rule2) OR ((((((triple8 triple9) -> rule6)) -> rule8) triple10) -> rule2) OR ((((((triple9 triple8) -> rule5)) -> rule8) triple10) -> rule2) OR ((((((triple9 ((triple10 triple9) -> rule1)) -> rule5)) -> rule8) triple10) -> rule2) OR ((((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule8) triple10) -> rule2))] Harry is green.[(((triple14 triple15) -> rule2))] @2: Harry is cold.[(((triple15 ((triple14 triple15) -> rule2)) -> rule7))] @3: Harry is smart.[(((((triple14 triple15) -> rule2) ((triple15 ((triple14 triple15) -> rule2)) -> rule7)) -> rule4))] @4: Harry is red.[(((triple15 ((((triple14 triple15) -> rule2) ((triple15 ((triple14 triple15) -> rule2)) -> rule7)) -> rule4)) -> rule1))]