Bob is rough. Bob is round. Charlie is blue. Charlie is cold. Charlie is red. Charlie is smart. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is smart. Harry is blue. Harry is cold. Harry is red. Harry is rough. Harry is round. If Bob is rough and Bob is red then Bob is round. All furry people are smart. If someone is round and furry then they are smart. If someone is smart and round then they are blue. If someone is round and rough then they are red. If someone is round and furry then they are rough. Red, round people are furry. If Bob is red and Bob is not smart then Bob is not blue. All rough, blue people are cold.
Harry is not round.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((triple9) -> rule2))] Harry is blue.[(triple12 OR ((((((triple14 triple16) -> rule7)) -> rule2) triple16) -> rule4) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule3) triple16) -> rule4) OR ((((((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule2) triple16) -> rule4) OR ((((triple16 ((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule3) triple16) -> rule4))] Harry is cold.[(triple13 OR ((triple15 triple12) -> rule9) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule6) triple12) -> rule9) OR ((triple15 ((((((triple14 triple16) -> rule7)) -> rule2) triple16) -> rule4)) -> rule9) OR ((triple15 ((((triple16 ((triple14 triple16) -> rule7)) -> rule3) triple16) -> rule4)) -> rule9) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule6) ((((((triple14 triple16) -> rule7)) -> rule2) triple16) -> rule4)) -> rule9) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule6) ((((triple16 ((triple14 triple16) -> rule7)) -> rule3) triple16) -> rule4)) -> rule9) OR ((triple15 ((((((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule2) triple16) -> rule4)) -> rule9) OR ((triple15 ((((triple16 ((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule3) triple16) -> rule4)) -> rule9) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule6) ((((((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule2) triple16) -> rule4)) -> rule9) OR ((((triple16 ((triple14 triple16) -> rule7)) -> rule6) ((((triple16 ((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule3) triple16) -> rule4)) -> rule9))] Harry is red.[(triple14 OR ((triple16 triple15) -> rule5))] Harry is rough.[(triple15 OR ((triple16 ((triple14 triple16) -> rule7)) -> rule6))] Harry is round.[(triple16)] @1: Bob is red.[(((triple2 triple1) -> rule5))] Harry is furry.[(((triple14 triple16) -> rule7) OR ((((triple16 triple15) -> rule5) triple16) -> rule7))] @2: Bob is furry.[(((((triple2 triple1) -> rule5) triple2) -> rule7))] Harry is smart.[(((((triple14 triple16) -> rule7)) -> rule2) OR ((triple16 ((triple14 triple16) -> rule7)) -> rule3) OR ((((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule2) OR ((triple16 ((((triple16 triple15) -> rule5) triple16) -> rule7)) -> rule3))] @3: Bob is smart.[(((((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule2) OR ((triple2 ((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule3))] @4: Bob is blue.[(((((((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule2) triple2) -> rule4) OR ((((triple2 ((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule3) triple2) -> rule4))] @5: Bob is cold.[(((triple1 ((((((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule2) triple2) -> rule4)) -> rule9) OR ((triple1 ((((triple2 ((((triple2 triple1) -> rule5) triple2) -> rule7)) -> rule3) triple2) -> rule4)) -> rule9))]