Bob is big. Bob is nice. Bob is white. Dave is big. Dave is furry. Dave is nice. Gary is blue. Gary is furry. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Gary is white and Gary is smart then Gary is furry. All furry, smart people are nice. All big people are white. If Dave is blue then Dave is furry. All rough, furry people are smart. Big, rough people are smart. All rough people are furry. If someone is blue then they are smart.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3 OR ((triple1) -> rule3))] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule7) OR ((triple12 triple11) -> rule1) OR ((triple12 ((triple7) -> rule8)) -> rule1))] Gary is nice.[(triple9 OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple7) -> rule8)) -> rule2) OR ((triple8 ((triple10 triple8) -> rule5)) -> rule2) OR ((((triple10) -> rule7) triple11) -> rule2) OR ((((triple12 triple11) -> rule1) triple11) -> rule2) OR ((((triple10) -> rule7) ((triple7) -> rule8)) -> rule2) OR ((((triple10) -> rule7) ((triple10 triple8) -> rule5)) -> rule2) OR ((((triple12 triple11) -> rule1) ((triple7) -> rule8)) -> rule2) OR ((((triple12 triple11) -> rule1) ((triple10 triple8) -> rule5)) -> rule2) OR ((triple8 ((triple10 ((triple10) -> rule7)) -> rule5)) -> rule2) OR ((((triple12 ((triple7) -> rule8)) -> rule1) triple11) -> rule2) OR ((((triple10) -> rule7) ((triple10 ((triple10) -> rule7)) -> rule5)) -> rule2) OR ((((triple12 triple11) -> rule1) ((triple10 ((triple10) -> rule7)) -> rule5)) -> rule2) OR ((((triple12 ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule2) OR ((((triple12 ((triple7) -> rule8)) -> rule1) ((triple10 triple8) -> rule5)) -> rule2) OR ((((triple12 ((triple7) -> rule8)) -> rule1) ((triple10 ((triple10) -> rule7)) -> rule5)) -> rule2))] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple7) -> rule8) OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule7)) -> rule5))] Gary is white.[(triple12)] @1: Dave is white.[(((triple4) -> rule3))]