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