Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is not smart. Fiona is white. Fiona is young. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is not smart. Harry is white. Harry is young. If something is nice then it is furry. All big, furry things are nice. If Fiona is not smart then Fiona is nice. If something is big then it is blue. Big, blue things are young. If Fiona is young and Fiona is not furry then Fiona is blue. If something is nice and young then it is white. If something is smart and not blue then it is white.
Harry is blue.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1) -> rule4))] Fiona is furry.[(triple3 OR ((triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Fiona is nice.[(triple4 OR ((triple5) -> rule3) OR ((triple1 triple3) -> rule2))] Fiona is not smart.[(triple5)] Fiona is white.[(triple6 OR ((triple4 triple7) -> rule7) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple5) -> rule3) triple7) -> rule7) OR ((((triple1 triple3) -> rule2) triple7) -> rule7) OR ((((triple5) -> rule3) ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple1 triple3) -> rule2) ((triple1 triple2) -> rule5)) -> rule7) OR ((triple4 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7) OR ((((triple5) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7) OR ((((triple1 triple3) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7))] Fiona is young.[(triple7 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule5))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple8) -> rule4))] Harry is furry.[(triple10 OR ((triple11) -> rule1))] Harry is nice.[(triple11 OR ((triple8 triple10) -> rule2))] Harry is not smart.[(triple12)] Harry is white.[(triple13 OR ((triple11 triple14) -> rule7) OR ((triple11 ((triple8 triple9) -> rule5)) -> rule7) OR ((((triple8 triple10) -> rule2) triple14) -> rule7) OR ((((triple8 triple10) -> rule2) ((triple8 triple9) -> rule5)) -> rule7) OR ((triple11 ((triple8 ((triple8) -> rule4)) -> rule5)) -> rule7) OR ((((triple8 triple10) -> rule2) ((triple8 ((triple8) -> rule4)) -> rule5)) -> rule7))] Harry is young.[(triple14 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple8) -> rule4)) -> rule5))]