Bob is big. Bob is blue. Bob is cold. Bob is rough. Bob is round. Charlie is blue. Charlie is cold. Dave is big. Dave is blue. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is round. All big people are furry. All cold, furry people are round. If Bob is round and Bob is blue then Bob is furry. All cold, round people are big. If Dave is big and Dave is blue then Dave is cold. If someone is round and rough then they are big.
Gary is blue.
@0: Bob is big.[(triple1 OR ((triple3 triple5) -> rule4) OR ((triple5 triple4) -> rule6))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3 ((triple1) -> rule1)) -> rule2))] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Gary is big.[(triple10 OR ((triple12 triple16) -> rule4) OR ((triple16 triple15) -> rule6) OR ((triple12 ((triple12 triple13) -> rule2)) -> rule4) OR ((((triple12 triple13) -> rule2) triple15) -> rule6))] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13 OR ((triple10) -> rule1) OR ((((triple12 triple16) -> rule4)) -> rule1) OR ((((triple16 triple15) -> rule6)) -> rule1))] Gary is nice.[(triple14)] Gary is rough.[(triple15)] Gary is round.[(triple16 OR ((triple12 triple13) -> rule2) OR ((triple12 ((triple10) -> rule1)) -> rule2))] @1: Bob is furry.[(((triple1) -> rule1) OR ((triple5 triple2) -> rule3) OR ((((triple3 triple5) -> rule4)) -> rule1) OR ((((triple5 triple4) -> rule6)) -> rule1))] Dave is cold.[(((triple8 triple9) -> rule5))] Dave is furry.[(((triple8) -> rule1))] @2: Dave is round.[(((((triple8 triple9) -> rule5) ((triple8) -> rule1)) -> rule2))]