Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. All kind things are green. Green, kind things are nice. Nice, kind things are cold. Smart, furry things are kind. All cold, furry things are smart. If Fiona is cold and Fiona is furry then Fiona is rough. All smart things are green. Green, cold things are smart.
Fiona is rough.
@0: Bob is cold.[(triple1 OR ((triple4 triple3) -> rule3) OR ((((triple2 triple3) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule1) triple3) -> rule2) triple3) -> rule3) OR ((((((triple6) -> rule7) triple3) -> rule2) triple3) -> rule3))] Bob is green.[(triple2 OR ((triple3) -> rule1) OR ((triple6) -> rule7))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple2 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple6) -> rule7) triple3) -> rule2))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple4 triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule1) triple1) -> rule8) OR ((((triple3) -> rule1) ((triple4 triple3) -> rule3)) -> rule8) OR ((triple2 ((((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule1) ((((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((triple2 ((((((triple3) -> rule1) triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) triple3) -> rule2) triple3) -> rule3)) -> rule8))] Fiona is cold.[(triple7 OR ((triple10 ((triple12 triple8) -> rule4)) -> rule3) OR ((((triple9 ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3) OR ((((((triple12) -> rule7) ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3) OR ((((((((triple12 triple8) -> rule4)) -> rule1) ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3))] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple12) -> rule7) OR ((((triple12 triple8) -> rule4)) -> rule1) OR ((((triple7 triple8) -> rule5)) -> rule7) OR ((((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule1))] Fiona is nice.[(triple10 OR ((triple9 ((triple12 triple8) -> rule4)) -> rule2) OR ((((triple12) -> rule7) ((triple12 triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple9 triple7) -> rule8) triple8) -> rule4)) -> rule2) OR ((((triple12) -> rule7) ((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule2) OR ((((triple12) -> rule7) ((((triple9 triple7) -> rule8) triple8) -> rule4)) -> rule2) OR ((((((triple12 triple8) -> rule4)) -> rule1) ((triple12 triple8) -> rule4)) -> rule2) OR ((((((triple7 triple8) -> rule5)) -> rule7) ((triple12 triple8) -> rule4)) -> rule2) OR ((((((triple12 triple8) -> rule4)) -> rule1) ((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule2) OR ((((((triple12 triple8) -> rule4)) -> rule1) ((((triple9 triple7) -> rule8) triple8) -> rule4)) -> rule2) OR ((((((triple7 triple8) -> rule5)) -> rule7) ((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule2) OR ((((((triple7 triple8) -> rule5)) -> rule7) ((((triple9 triple7) -> rule8) triple8) -> rule4)) -> rule2) OR ((((((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule1) ((triple12 triple8) -> rule4)) -> rule2) OR ((((((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule1) ((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule2) OR ((((((((triple7 triple8) -> rule5) triple8) -> rule4)) -> rule1) ((((triple9 triple7) -> rule8) triple8) -> rule4)) -> rule2))] Fiona is rough.[(triple11 OR ((triple7 triple8) -> rule6) OR ((((triple10 ((triple12 triple8) -> rule4)) -> rule3) triple8) -> rule6) OR ((((((triple9 ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3) triple8) -> rule6) OR ((((((((triple12) -> rule7) ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3) triple8) -> rule6) OR ((((((((((triple12 triple8) -> rule4)) -> rule1) ((triple12 triple8) -> rule4)) -> rule2) ((triple12 triple8) -> rule4)) -> rule3) triple8) -> rule6))] Fiona is smart.[(triple12 OR ((triple7 triple8) -> rule5) OR ((triple9 triple7) -> rule8))] @1: Fiona is kind.[(((triple12 triple8) -> rule4) OR ((((triple7 triple8) -> rule5) triple8) -> rule4) OR ((((triple9 triple7) -> rule8) triple8) -> rule4))]