Anne is blue. Anne is kind. Anne is nice. Bob is kind. Bob is rough. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Kind, furry people are blue. All nice, cold people are rough. Cold, nice people are rough. All furry people are blue. Kind people are furry. If someone is smart and nice then they are blue. If someone is blue then they are smart. If Anne is furry and Anne is rough then Anne is cold.
Bob is smart.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule5)) -> rule4) OR ((triple2 ((triple2) -> rule5)) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Dave is smart.[(triple6)] Fiona is blue.[(triple7 OR ((triple9) -> rule4))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] @1: Anne is furry.[(((triple2) -> rule5))] Anne is smart.[(((triple1) -> rule7) OR ((((((triple2) -> rule5)) -> rule4)) -> rule7) OR ((((triple2 ((triple2) -> rule5)) -> rule1)) -> rule7))] Bob is furry.[(((triple4) -> rule5))] Fiona is rough.[(((triple10 triple8) -> rule2) OR ((triple8 triple10) -> rule3))] Fiona is smart.[(((triple7) -> rule7) OR ((((triple9) -> rule4)) -> rule7))] @2: Bob is blue.[(((((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule1))] @3: Bob is smart.[(((((((triple4) -> rule5)) -> rule4)) -> rule7) OR ((((triple4 ((triple4) -> rule5)) -> rule1)) -> rule7))]