Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. If Fiona is furry then Fiona is big. Big, furry things are quiet. If something is big and furry then it is smart. Furry things are quiet. If something is rough and furry then it is smart. Cold things are nice. Rough things are furry. If Fiona is big then Fiona is furry.
Harry is smart.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule7)) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3 OR ((triple1) -> rule8) OR ((triple5) -> rule7))] Fiona is quiet.[(triple4 OR ((triple3) -> rule4) OR ((triple1 triple3) -> rule2) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((triple1 ((triple1) -> rule8)) -> rule2) OR ((triple1 ((triple5) -> rule7)) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple3) -> rule1) ((triple1) -> rule8)) -> rule2) OR ((((triple3) -> rule1) ((triple5) -> rule7)) -> rule2) OR ((((((triple5) -> rule7)) -> rule1) triple3) -> rule2) OR ((((((triple5) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule2) OR ((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule2))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6 OR ((triple1 triple3) -> rule3) OR ((triple5 triple3) -> rule5) OR ((triple1 ((triple1) -> rule8)) -> rule3) OR ((triple1 ((triple5) -> rule7)) -> rule3) OR ((triple5 ((triple1) -> rule8)) -> rule5) OR ((triple5 ((triple5) -> rule7)) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule3) OR ((((triple3) -> rule1) ((triple1) -> rule8)) -> rule3) OR ((((triple3) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((triple5) -> rule7)) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule3) OR ((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule3))] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple11) -> rule7))] Harry is nice.[(triple9 OR ((triple7) -> rule6))] Harry is quiet.[(triple10 OR ((triple8) -> rule4) OR ((((triple11) -> rule7)) -> rule4))] Harry is rough.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple8) -> rule5) OR ((triple11 ((triple11) -> rule7)) -> rule5))] @1: Fiona is nice.[(((triple2) -> rule6))]