Dave is big. Dave is furry. Dave is red. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is smart. Harry is cold. Harry is red. Harry is smart. Red, smart things are furry. All big, furry things are green. All red, big things are smart. All green things are blue. If Fiona is furry then Fiona is blue. If something is furry and smart then it is big.
Dave is blue.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple3 ((triple3 triple1) -> rule3)) -> rule1))] Dave is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7)] Gary is big.[(triple8 OR ((triple10 triple12) -> rule6))] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple8 triple10) -> rule2) OR ((((triple10 triple12) -> rule6) triple10) -> rule2))] Gary is smart.[(triple12)] Harry is cold.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Dave is green.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple3 ((triple3 triple1) -> rule3)) -> rule1)) -> rule2))] Dave is smart.[(((triple3 triple1) -> rule3))] Fiona is blue.[(((triple5) -> rule5) OR ((triple6) -> rule4))] Gary is blue.[(((triple11) -> rule4) OR ((((triple8 triple10) -> rule2)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple10) -> rule2)) -> rule4))] Harry is furry.[(((triple14 triple15) -> rule1))] @2: Dave is blue.[(((((triple1 triple2) -> rule2)) -> rule4) OR ((((triple1 ((triple3 ((triple3 triple1) -> rule3)) -> rule1)) -> rule2)) -> rule4))] Harry is big.[(((((triple14 triple15) -> rule1) triple15) -> rule6))] @3: Harry is green.[(((((((triple14 triple15) -> rule1) triple15) -> rule6) ((triple14 triple15) -> rule1)) -> rule2))] @4: Harry is blue.[(((((((((triple14 triple15) -> rule1) triple15) -> rule6) ((triple14 triple15) -> rule1)) -> rule2)) -> rule4))]