Bob is red. Bob is smart. Dave is kind. Dave is red. Dave is rough. Dave is smart. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. Gary is furry. Gary is kind. Gary is red. Gary is smart. Gary is white. If someone is red and rough then they are kind. Green people are white. Red people are green.
Bob is furry.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Dave is kind.[(triple3 OR ((triple4 triple5) -> rule1))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((((triple13) -> rule3)) -> rule2))] @1: Bob is green.[(((triple1) -> rule3))] Dave is green.[(((triple4) -> rule3))] Fiona is white.[(((triple8) -> rule2))] Gary is green.[(((triple13) -> rule3))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule2))] Dave is white.[(((((triple4) -> rule3)) -> rule2))]