Bob is big. Bob is furry. Bob is not nice. Bob is red. Bob is smart. Fiona is not big. Fiona is green. Fiona is nice. Fiona is not round. Gary is furry. Gary is nice. Gary is round. If Gary is nice and Gary is not round then Gary is green. If Bob is furry and Bob is red then Bob is not nice. If Fiona is smart then Fiona is red. Big, nice things are not smart. If something is green and red then it is not smart. All round, red things are not big. If something is round and not nice then it is green. All red, furry things are not green.
Gary is not green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is not nice.[(triple3 OR ((triple2 triple4) -> rule2))] Bob is red.[(triple4)] Bob is smart.[(triple5)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is not big.[(triple6)] Fiona is not round.[(triple9)] Gary is furry.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Bob is not green.[(((triple4 triple2) -> rule8))]