Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is red. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Dave is cold. Dave is red. Dave is rough. If someone is green and cold then they are blue. All blue, furry people are red. All cold, furry people are green. If someone is rough and kind then they are furry. If Bob is cold and Bob is furry then Bob is green. If Dave is blue then Dave is green. If Dave is rough and Dave is cold then Dave is blue. If someone is blue and green then they are kind.
Dave is blue.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple1 triple3) -> rule8) OR ((((triple3 triple2) -> rule1) triple3) -> rule8))] Bob is red.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Dave is cold.[(triple10)] Dave is red.[(triple11 OR ((((triple12 triple10) -> rule7) ((triple12 ((((triple12 triple10) -> rule7) ((((triple12 triple10) -> rule7)) -> rule6)) -> rule8)) -> rule4)) -> rule2))] Dave is rough.[(triple12)] @1: Charlie is furry.[(((triple9 triple7) -> rule4))] Dave is blue.[(((triple12 triple10) -> rule7))] @2: Dave is green.[(((((triple12 triple10) -> rule7)) -> rule6))] @3: Dave is kind.[(((((triple12 triple10) -> rule7) ((((triple12 triple10) -> rule7)) -> rule6)) -> rule8))] @4: Dave is furry.[(((triple12 ((((triple12 triple10) -> rule7) ((((triple12 triple10) -> rule7)) -> rule6)) -> rule8)) -> rule4))]