Bob is furry. Bob is red. Fiona is nice. Fiona is red. Gary is furry. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is smart. If something is blue and kind then it is red. If something is red then it is green. If Gary is nice then Gary is kind. If something is nice then it is blue. If Harry is nice and Harry is furry then Harry is blue. All red, nice things are kind. If something is furry then it is nice. All smart things are red.
Gary is not smart.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4)] Gary is furry.[(triple5)] Harry is blue.[(triple6 OR ((((triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule7) triple7) -> rule5))] Harry is furry.[(triple7)] Harry is kind.[(triple8 OR ((triple9 ((triple7) -> rule7)) -> rule6) OR ((((triple10) -> rule8) ((triple7) -> rule7)) -> rule6))] Harry is red.[(triple9 OR ((triple10) -> rule8) OR ((triple6 triple8) -> rule1) OR ((((((triple7) -> rule7)) -> rule4) triple8) -> rule1) OR ((((((triple7) -> rule7) triple7) -> rule5) triple8) -> rule1))] Harry is smart.[(triple10)] @1: Bob is green.[(((triple2) -> rule2))] Bob is nice.[(((triple1) -> rule7))] Fiona is blue.[(((triple3) -> rule4))] Fiona is green.[(((triple4) -> rule2))] Fiona is kind.[(((triple4 triple3) -> rule6))] Gary is nice.[(((triple5) -> rule7))] Harry is green.[(((triple9) -> rule2) OR ((((triple10) -> rule8)) -> rule2) OR ((((triple6 triple8) -> rule1)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule4) triple8) -> rule1)) -> rule2) OR ((((((((triple7) -> rule7) triple7) -> rule5) triple8) -> rule1)) -> rule2))] Harry is nice.[(((triple7) -> rule7))] @2: Bob is blue.[(((((triple1) -> rule7)) -> rule4))] Bob is kind.[(((triple2 ((triple1) -> rule7)) -> rule6))] Gary is blue.[(((((triple5) -> rule7)) -> rule4))] Gary is kind.[(((((triple5) -> rule7)) -> rule3))] @3: Gary is red.[(((((((triple5) -> rule7)) -> rule4) ((((triple5) -> rule7)) -> rule3)) -> rule1))] @4: Gary is green.[(((((((((triple5) -> rule7)) -> rule4) ((((triple5) -> rule7)) -> rule3)) -> rule1)) -> rule2))]