Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is rough. Fiona is blue. Fiona is nice. Fiona is red. Fiona is rough. Nice people are cold. Rough people are quiet. If Charlie is nice and Charlie is quiet then Charlie is blue. If someone is furry then they are cold. All blue, furry people are nice. If someone is furry then they are nice. If someone is furry then they are rough. If someone is cold then they are rough.
Fiona is not furry.
@0: Charlie is blue.[(triple1 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3) OR ((((triple3) -> rule6) triple5) -> rule3) OR ((((triple3) -> rule6) ((triple6) -> rule2)) -> rule3) OR ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule3) OR ((triple4 ((((triple3) -> rule7)) -> rule2)) -> rule3) OR ((((triple3) -> rule6) ((((triple2) -> rule8)) -> rule2)) -> rule3) OR ((((triple3) -> rule6) ((((triple3) -> rule7)) -> rule2)) -> rule3) OR ((triple4 ((((((triple3) -> rule4)) -> rule8)) -> rule2)) -> rule3) OR ((triple4 ((((((triple4) -> rule1)) -> rule8)) -> rule2)) -> rule3) OR ((((triple3) -> rule6) ((((((triple3) -> rule4)) -> rule8)) -> rule2)) -> rule3) OR ((((triple3) -> rule6) ((((((triple4) -> rule1)) -> rule8)) -> rule2)) -> rule3) OR ((triple4 ((((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule2)) -> rule3) OR ((((triple3) -> rule6) ((((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule2)) -> rule3))] Charlie is cold.[(triple2 OR ((triple3) -> rule4) OR ((triple4) -> rule1) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule5)) -> rule1))] Charlie is furry.[(triple3)] Charlie is nice.[(triple4 OR ((triple3) -> rule6) OR ((triple1 triple3) -> rule5))] Charlie is quiet.[(triple5 OR ((triple6) -> rule2) OR ((((triple2) -> rule8)) -> rule2) OR ((((triple3) -> rule7)) -> rule2) OR ((((((triple3) -> rule4)) -> rule8)) -> rule2) OR ((((((triple4) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1 triple3) -> rule5)) -> rule1)) -> rule8)) -> rule2))] Charlie is rough.[(triple6 OR ((triple2) -> rule8) OR ((triple3) -> rule7) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple4) -> rule1)) -> rule8) OR ((((((triple3) -> rule6)) -> rule1)) -> rule8) OR ((((((triple1 triple3) -> rule5)) -> rule1)) -> rule8))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((((triple8) -> rule1)) -> rule8))] @1: Fiona is cold.[(((triple8) -> rule1))] Fiona is quiet.[(((triple10) -> rule2) OR ((((((triple8) -> rule1)) -> rule8)) -> rule2))]