Dave is furry. Dave is nice. Dave is red. Dave is white. Fiona is green. Fiona is smart. Fiona is white. Gary is nice. Gary is smart. Gary is white. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is smart. All nice, furry things are green. All green, nice things are white. Furry things are smart. If Dave is furry and Dave is smart then Dave is nice. All furry, red things are white. Round, smart things are white.
Dave is round.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2 OR ((triple1 ((triple1) -> rule3)) -> rule4))] Dave is red.[(triple3)] Dave is white.[(triple4 OR ((triple1 triple3) -> rule5) OR ((((triple2 triple1) -> rule1) triple2) -> rule2) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule4)) -> rule2) OR ((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule1) triple2) -> rule2) OR ((((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule4)) -> rule2))] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is nice.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple11) -> rule3))] @1: Dave is green.[(((triple2 triple1) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule4) triple1) -> rule1))] Dave is smart.[(((triple1) -> rule3))] Harry is green.[(((triple12 triple11) -> rule1))] Harry is white.[(((triple11 triple13) -> rule5) OR ((triple14 triple15) -> rule6) OR ((triple14 ((triple11) -> rule3)) -> rule6) OR ((((triple12 triple11) -> rule1) triple12) -> rule2))]